Highly Influenced

# A type-theoretic foundation of delimited continuations

@article{Ariola2009ATF, title={A type-theoretic foundation of delimited continuations}, author={Zena M. Ariola and Hugo Herbelin and Amr Sabry}, journal={Higher-Order and Symbolic Computation}, year={2009}, volume={22}, pages={233-273} }

- Published 2009 in Higher-Order and Symbolic Computation
DOI:10.1007/s10990-007-9006-0

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 are believed to become more expressive. We formalise that the addition of control delimiters corresponds to the addition of a single dynamically-scoped variable modelling the special top-level continuation. From a type perspective, the dynamically-scoped variable requires effect annotations… CONTINUE READING

Highly Cited

This paper has 41 citations. REVIEW CITATIONS

#### From This Paper

##### Figures, tables, and topics from this paper.

26 Citations

45 References

Similar Papers