Skip to content

Dynamic Control Operators in Type Theory.

Yukiyoshi Kameyama

VenueBAPLAS
Year2001
ProceedingsAPLAS

Browse the full APLAS paper archive.