On the Dynamic Extent of Delimited Continuations (2005)

by Dariusz Biernacki , Olivier Danvy
Citations:19 - 5 self

Documents Related by Co-Citation

24 Shift to control – Chung chieh Shan - 2004
150 The theory and practice of first-class prompts – M Felleisen - 1988
130 Representing Monads – Andrzej Filinski - 1994
300 Definitional interpreters for higher-order programming languages – John C. Reynolds - 1972
11 A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations – Dariusz Biernacki, Olivier Danvy, Kevin Millikin - 2006
25 A Sound and Complete Axiomatization of Delimited Continuations – Yukiyoshi Kameyama, Masahito Hasegawa - 2003
16 How to remove a dynamic prompt: static and dynamic delimited continuation operators are equally expressible – O Kiselyov - 2005
56 Danvy and Andrzej Filinski. Abstracting control – Olivier - 1990
201 Call-by-name, call-by-value and the λ-calculus – G Plotkin, D - 1975
70 Defunctionalization at Work – Olivier Danvy, Lasse R. Nielsen - 2001
18 An operational foundation for delimited continuations in the CPS hierarchy – Dariusz Biernacki, Olivier Danvy - 2005
72 Control operators, the SECDmachine, and the λ-calculus – Matthias Felleisen, Daniel P Friedman - 1986
5 un Exemple de Patrick Greussay – Sur - 2004
31 Delimited Dynamic Binding – Oleg Kiselyov, Chung-chieh Shan , Amr Sabry - 2006
13 A Simple Proof of a Folklore Theorem about Delimited Control – Dariusz Biernacki, Olivier Danvy - 2005
94 Abstracting Control – Olivier Danvy, Andrzej Filinski - 1990
66 A Functional Abstraction of Typed Contexts – Olivier Danvy, Andrzej Filinski - 1989
39 Control delimiters and their hierarchies – Dorai Sitaram, Matthias Felleisen - 1990
61 A Generalization of Exceptions and Control in ML-like Languages – Carl A. Gunter, Didier Rémy, Jon G. Riecke - 1995