Skip to content

A type-theoretic foundation of continuations and prompts.

Zena M. Ariola, Hugo Herbelin, Amr Sabry

VenueAICFP
Year2004
ProceedingsICFP

Browse the full ICFP paper archive.