Sciweavers

102
Voted
ICFP
2004
ACM
16 years 3 months ago
A type-theoretic foundation of continuations and prompts
Zena M. Ariola, Hugo Herbelin, Amr Sabry