Sciweavers

APLAS
2001
ACM

Dynamic Control Operators in Type Theory

14 years 3 months ago
Dynamic Control Operators in Type Theory
Yukiyoshi Kameyama
Added 23 Aug 2010
Updated 23 Aug 2010
Type Conference
Year 2001
Where APLAS
Authors Yukiyoshi Kameyama
Comments (0)