Lisp and Symbolic Computation
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
A sound and complete axiomatization of delimited continuations
ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
A type-theoretic foundation of continuations and prompts
Proceedings of the ninth ACM SIGPLAN international conference on Functional programming
On the static and dynamic extents of delimited continuations
Science of Computer Programming
Aranea: web framework construction and integration kit
PPPJ '06 Proceedings of the 4th international symposium on Principles and practice of programming in Java
Adding delimited and composable control to a production programming environment
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
Axioms for control operators in the CPS hierarchy
Higher-Order and Symbolic Computation
ACM Transactions on Programming Languages and Systems (TOPLAS)
A type-theoretic foundation of delimited continuations
Higher-Order and Symbolic Computation
Constraining delimited control with contracts
ESOP'13 Proceedings of the 22nd European conference on Programming Languages and Systems
| Hi-index | 0.00 |