On the static and dynamic extents of delimited continuations

DOI10.1016/J.SCICO.2006.01.002MaRDI QIDQ2495550zbMATH OpenOpenAlexFDO

Authors Dariusz Biernacki, Olivier Danvy, Chung-Chieh Shan

Publication date 30 June 2006

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.scico.2006.01.002

zbMATH Keywords

continuation-passing style (CPS)control and promptcontrol operatorsCPS transformationdefunctionalizationdelimited continuationsdirect styleshift and reset

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Recommendations

• On the dynamic extent of delimited continuations
• A static simulation of dynamic delimited control
• Typed Dynamic Control Operators for Delimited Continuations
• THEORETICAL PEARL: A simple proof of a folklore theorem about delimited control
• Delimited dynamic binding

Cited in

(8)

• On the dynamic extent of delimited continuations
• A static simulation of dynamic delimited control
• A Functional Abstraction of Typed Invocation Contexts
• A sound and complete axiomatization of delimited continuations
• An Operational Foundation for Delimited Continuations in the CPS Hierarchy
• Bisimulations for delimited-control operators
• A syntactic correspondence between context-sensitive calculi and abstract machines
• Refunctionalization at work

This page was built for publication: On the static and dynamic extents of delimited continuations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2495550)