Herbelin and Amr Sabry. A type-theoretic foundation of delimited continuations (2007)

by Zena M Ariola, Hugo
Venue:In Higher-Order and Symbolic Computation