Three Steps for the CPS Transformation (1991)

Cached

Download Links

by Olivier Danvy
Citations:12 - 4 self

Active Bibliography

81 Representing control: a study of the CPS transformation – Olivier Danvy, Andrzej Filinski - 1992
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
27 A rational deconstruction of Landin’s SECD machine – Olivier Danvy, Kevin Millikin - 2004
On the Idempotence of the CPS Transformation – Olivier Danvy, Karoline Malmkjær - 1996
87 A Generic Account of Continuation-Passing Styles – John Hatcliff, Olivier Danvy - 1994
22 On proving syntactic properties of CPS programs – Belmina Dzafic, Olivier Danvy, Olivier Danvy, Belmina Dza C, Frank Pfenning, Frank Pfenning - 1999
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
11 A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations – Dariusz Biernacki, Olivier Danvy, Kevin Millikin - 2006
19 On the Dynamic Extent of Delimited Continuations – Dariusz Biernacki, Olivier Danvy - 2005
13 Refunctionalization at Work – Olivier Danvy, Kevin Millikin - 2008
3 Linear Continuation-Passing – Josh Berdine, Peter O'Hearn, Uday Reddy, Hayo Thielecke - 2002
8 Thunks (continued) – Olivier Danvy, John Hatcliff - 1992
8 From System F to Typed Assembly Language (Extended Version) – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
1 Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines – Olivier Danvy - 2008
161 Reasoning about Programs in Continuation-Passing Style – Amr Sabry Sabry, Matthias Felleisen
5 A New One-Pass Transformation into Monadic Normal Form – Olivier Danvy - 2003
6 Correctness of a Region-Based Binding-Time Analysis – Peter J. Thiemann - 1997
13 A Library of High Level Control Operators – Christian Queinnec - 1993