An Operational Foundation for Delimited Continuations
We derive an abstract machine that corresponds to a definitional interpreter for the control operators shift and reset. Based on this abstract machine, we construct a syntactic theory of delimited continuations.
Both the derivation and the construction scale to the family of control operators shift and reset. The definitional interpreter for shift and reset has layers of continuations, the corresponding abstract machine has layers of control stacks, and the corresponding syntactic theory has layers of evaluation contexts.