A monadic framework for subcontinuations (2005)

Cached

Download Links

by R. Kent Dybvig , Simon Peyton Jones , Amr Sabry
Citations:4 - 0 self

Active Bibliography

14 A Monadic Framework for Delimited Continuations – R. Kent Dybvig, Simon Peyton Jones, Amr Sabry
11 A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations – Dariusz Biernacki, Olivier Danvy, Kevin Millikin - 2006
14 A type-theoretic foundation of delimited continuations. Higher Order Symbol – Zena M. Ariola, Hugo Herbelin, Amr Sabry - 2009
19 On the Dynamic Extent of Delimited Continuations – Dariusz Biernacki, Olivier Danvy - 2005
6 A Modal Calculus for Effect Handling – Aleksandar Nanevski - 2003
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
27 A rational deconstruction of Landin’s SECD machine – Olivier Danvy, Kevin Millikin - 2004
13 A Library of High Level Control Operators – Christian Queinnec - 1993
18 A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines – Małgorzata Biernacka, Olivier Danvy - 2005
31 Delimited Dynamic Binding – Oleg Kiselyov, Chung-chieh Shan , Amr Sabry - 2006
Hoare-Style Reasoning with (Algebraic) Continuations – Germán Andrés Delbianco, Aleksandar Nanevski
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
32 A Syntactic Theory of Dynamic Binding – Luc Moreau - 1997
30 A Dynamic Extent Control Operator for Partial Continuations – Christian Queinnec, Bernard Serpette, Ecole Polytechnique - 1991
81 Representing control: a study of the CPS transformation – Olivier Danvy, Andrzej Filinski - 1992
9 On Typing Delimited Continuations: Three New Solutions to the Printf Problem – Kenichi Asai - 2009
3 Typed Dynamic Control Operators for Delimited Continuations – Yukiyoshi Kameyama, Takuo Yonezawa - 2008
32 Reasoning with Continuations II: Full Abstraction for Models of Control – Dorai Sitaram, Matthias Felleisen - 1990