Partial Continuations as the Difference of Continuations, A Duumvirate of Control Operators (1994)

by Luc Moreau , Christian Queinnec
Venue:International Conference on Programming Language Implementation and Logic Programming (PLILP'94). Proceedings
Citations:19 - 2 self

Active Bibliography

13 A Library of High Level Control Operators – Christian Queinnec - 1993
11 A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations – Dariusz Biernacki, Olivier Danvy, Kevin Millikin - 2006
17 An Operational Foundation for Delimited Continuations – Malgorzata Biernacka, Dariusz Biernacki, Olivier Danvy - 2003
Subcontinuations – Robert Hieb, R. Kent Dybvig, Claude W. Anderson - 1993
8 Threads Yield Continuations – Sanjeev Kumar, Carl Bruggeman, R. Kent Dybvig - 1997
14 A Monadic Framework for Delimited Continuations – R. Kent Dybvig, Simon Peyton Jones, Amr Sabry
19 On the Dynamic Extent of Delimited Continuations – Dariusz Biernacki, Olivier Danvy - 2005
1 A Parallel Functional Language With First-Class Continuations. Programming Style and Semantics – Luc Moreau
27 A rational deconstruction of Landin’s SECD machine – Olivier Danvy, Kevin Millikin - 2004
32 A Syntactic Theory of Dynamic Binding – Luc Moreau - 1997
18 A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines – Małgorzata Biernacka, Olivier Danvy - 2005
81 Representing control: a study of the CPS transformation – Olivier Danvy, Andrzej Filinski - 1992
2 Non-speculative and Upward Invocation of Continuations in a Parallel Language – Luc Moreau - 1995
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
5 An Operational Semantics for a Parallel Functional Language With Continuations – Luc Moreau - 1992
5 Value Transforming Style – Christian Queinnec - 1992
2 Return Types for Functional Continuations – Carl A. Gunter, Didier Rémy, Jon G. Riecke - 1998
18 Handling Control – Dorai Sitaram - 1993
61 A Generalization of Exceptions and Control in ML-like Languages – Carl A. Gunter, Didier Rémy, Jon G. Riecke - 1995