Linear Continuation-Passing (2002)

by Josh Berdine , Peter O'Hearn , Uday Reddy , Hayo Thielecke
Venue:in the 2001 ACM SIGPLAN Workshop on Continuations (CW'01
Citations:3 - 1 self

Active Bibliography

11 Using a Continuation Twice and Its Implications for the Expressive Power of Call/cc – Hayo Thielecke - 1998
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
Proceedings of the Third ACM SIGPLAN Workshop on Continuations (CW'01) – Amr Sabry, (ed.), Amr Sabry (editor, Daniel P. Friedman - 2001
34 Secure Information Flow via Linear Continuations – Steve Zdancewic, Andrew C. Myers - 2002
27 A rational deconstruction of Landin’s SECD machine – Olivier Danvy, Kevin Millikin - 2004
34 Modeling Web Interactions – Paul Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen - 2003
3 A Rational Deconstruction of Landin’s J Operator – Olivier Danvy, Kevin Millikin - 2006
19 On the Dynamic Extent of Delimited Continuations – Dariusz Biernacki, Olivier Danvy - 2005
5 Advanced Control Flows for Flexible Graphical User Interfaces or, Growing GUIs on Trees or, Bookmarking GUIs – Or Bookmarking Guis, Paul T. Graunke, Shriram Krishnamurthi - 2002
21 Formalizing Implementation Strategies for First-Class Continuations – O. Danvy, Olivier Danvy - 2000
12 Three Steps for the CPS Transformation – Olivier Danvy - 1991
14 A type-theoretic foundation of delimited continuations. Higher Order Symbol – Zena M. Ariola, Hugo Herbelin, Amr Sabry - 2009
11 A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations – Dariusz Biernacki, Olivier Danvy, Kevin Millikin - 2006
8 Combining algebraic effects with continuations – Martin Hyland, Paul Blain Levy , Gordon Plotkin , John Power - 2007
13 A Library of High Level Control Operators – Christian Queinnec - 1993
1 Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines – Olivier Danvy - 2008
13 An Introduction to Landin's "A Generalization of Jumps and Labels " – Hayo Thielecke
81 Representing control: a study of the CPS transformation – Olivier Danvy, Andrzej Filinski - 1992
110 The Discoveries of Continuations – John C. Reynolds - 1993