Representing control: a study of the CPS transformation (1992)

by Olivier Danvy , Andrzej Filinski
Citations:81 - 7 self

Active Bibliography

15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
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
Type Theory for Programming Languages – Robert Harper - 1994
19 On the Dynamic Extent of Delimited Continuations – Dariusz Biernacki, Olivier Danvy - 2005
161 Reasoning about Programs in Continuation-Passing Style – Amr Sabry Sabry, Matthias Felleisen
14 A type-theoretic foundation of delimited continuations. Higher Order Symbol – Zena M. Ariola, Hugo Herbelin, Amr Sabry - 2009
Reasoning with Continuations III: A Complete Calculus of Control – Amr Sabry, Matthias Felleisen - 1992
32 Reasoning with Continuations II: Full Abstraction for Models of Control – Dorai Sitaram, Matthias Felleisen - 1990
10 Recursion from Iteration – Andrzej Filinski - 1994
27 A rational deconstruction of Landin’s SECD machine – Olivier Danvy, Kevin Millikin - 2004
21 Thunks and the λ-calculus – John Hatcliff, Olivier Danvy - 1997
5 On the call-by-value CPS transform and its semantics – Carsten Führmann , Hayo Thielecke - 2004
49 Back to Direct Style – Olivier Danvy - 1994
69 Explicit Polymorphism and CPS Conversion – Robert Harper , Mark Lillibridge - 1992
35 Monads and Composable Continuations – Philip Wadler - 1993
255 The Revised Report on the Syntactic Theories of Sequential Control and State – Matthias Felleisen, Matthias Felleisen, Robert Hieb, Robert Hieb - 1992
11 A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations – Dariusz Biernacki, Olivier Danvy, Kevin Millikin - 2006
4 A Computational Formalization for Partial Evaluation (Extended Version) – John Hatcliff, Olivier Danvy - 1996