A type-theoretic foundation of continuations and prompts (2004)

by Zena M Ariola, Hugo Herbelin, Amr Sabry
Venue:In ICFP ’04: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming