A Monadic Framework for Delimited Continuations

by R. Kent Dybvig , Simon Peyton Jones , Amr Sabry
Venue:UNDER CONSIDERATION FOR PUBLICATION IN J. FUNCTIONAL PROGRAMMING
Citations:14 - 2 self

Active Bibliography

11 A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations – Dariusz Biernacki, Olivier Danvy, Kevin Millikin - 2006
4 A monadic framework for subcontinuations – R. Kent Dybvig, Simon Peyton Jones, Amr Sabry - 2005
19 On the Dynamic Extent of Delimited Continuations – Dariusz Biernacki, Olivier Danvy - 2005
18 A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines – Małgorzata Biernacka, Olivier Danvy - 2005
27 A rational deconstruction of Landin’s SECD machine – Olivier Danvy, Kevin Millikin - 2004
6 A Modal Calculus for Effect Handling – Aleksandar Nanevski - 2003
31 Delimited Dynamic Binding – Oleg Kiselyov, Chung-chieh Shan , Amr Sabry - 2006
14 A type-theoretic foundation of delimited continuations. Higher Order Symbol – Zena M. Ariola, Hugo Herbelin, Amr Sabry - 2009
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
8 Threads Yield Continuations – Sanjeev Kumar, Carl Bruggeman, R. Kent Dybvig - 1997
17 An Operational Foundation for Delimited Continuations – Malgorzata Biernacka, Dariusz Biernacki, Olivier Danvy - 2003
1 Axioms for Control Operators in the CPS Hierarchy ∗ – Yukiyoshi Kameyama
1 A Systematic Approach to Delimited Control with Multiple Prompts – Paul Downen, Zena M. Ariola
Première partie – unknown authors
3 A program logic for higher-order procedural variables . . . . – T. Crolard, et al. - 2009
Subcontinuations – Robert Hieb, R. Kent Dybvig, Claude W. Anderson - 1993
2 A Substructural Type System for Delimited Continuations ⋆ – Oleg Kiselyov, Chung-chieh Shan
13 A Library of High Level Control Operators – Christian Queinnec - 1993
81 Representing control: a study of the CPS transformation – Olivier Danvy, Andrzej Filinski - 1992