Journal article
A type-theoretic foundation of delimited continuations
Abstract
Abstract
There is a correspondence between classical logic and programming language calculi with first-class continuations. With the addition of control delimiters, the continuations become composable and the calculi become more expressive. We present a fine-grained analysis of control delimiters and formalise that their addition corresponds to the addition of a single dynamically-scoped variable modelling the special top-level continuation. …
Authors
Ariola ZM; Herbelin H; Sabry A
Journal
Higher-Order and Symbolic Computation, Vol. 22, No. 3, pp. 233–273
Publisher
Springer Nature
Publication Date
September 2009
DOI
10.1007/s10990-007-9006-0
ISSN
1388-3690