Compositional semantics for composable continuations: from abortive to delimited control.

Paul Downen, Zena M. Ariola

Browse the full ICFP paper archive.