On the static and dynamic extents of delimited continuations

DOI10.1016/j.scico.2006.01.002zbMath1101.68442OpenAlexW2110095615MaRDI QIDQ2495550

Olivier Danvy, Dariusz Biernacki, 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

control operatorsdefunctionalizationdelimited continuationsdirect stylecontinuation-passing style (CPS)CPS transformationcontrol and promptshift and reset

Mathematics Subject Classification ID

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

Related Items

A Functional Abstraction of Typed Invocation Contexts, A syntactic correspondence between context-sensitive calculi and abstract machines, Refunctionalization at work, A static simulation of dynamic delimited control, Unnamed Item