We review the semantics of abortive continuations and their connection to classical logic. We start with Felleisen and Hieb (1992) revised theory of control.
Oct 24, 2007 · With the addition of control delimiters, the continuations become composable and the calculi become more expressive. We present a fine-grained ...
We present a fine-grained analysis of control delimiters and formalise that their addition corresponds to the addition of a single dynamically-scoped variable ...
A type-theoretic foundation of delimited continuations. There is a correspondence between classical logic and programming language calculi with first-class ...
A Type-Theoretic Foundation of Delimited Continuations - Hal-Inria
inria.hal.science › inria-00177326
We present a fine-grained analysis of control delimiters and formalise that their addition corresponds to the addition of a single dynamically-scoped variable ...
It is shown that standard CPS is sufficient to explain the common control operators for delimited continuations, which results in a monadic framework for ...
authors. Ariola, Zena M; Herbelin, Hugo; Sabry, Amr. status. published. publication date. September 2009. has subject area. 0802 Computation Theory and ...
Sep 19, 2004 · A constant tp denotes the top-level continuation: A 6 = C(λ .tp 6). A true = C(λ .tp true). • Implicit references to the top-level become ...
A type-theoretic foundation of delimited continuations. In. Higher-Order and Symbolic Computation, 2007. To appear. [3] Olivier Danvy and Andrzej Filinski. A ...
With the addition of control delimiters (prompts), the continuations become composable and the calculi are believed to become more expressive. We formalise that ...
Missing: delimited | Show results with:delimited