CPS Transformation after Strictness Analysis (1993)

by Olivier Danvy , John Hatcliff , Cv Ffi S
Venue:ACM Letters on Programming Languages and Systems
Citations:26 - 10 self

Active Bibliography

15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
87 A Generic Account of Continuation-Passing Styles – John Hatcliff, Olivier Danvy - 1994
21 Thunks and the λ-calculus – John Hatcliff, Olivier Danvy - 1997
27 A rational deconstruction of Landin’s SECD machine – Olivier Danvy, Kevin Millikin - 2004
1 Interpreting functions as π-calculus processes: a tutorial – Davide Sangiorgi - 1999
5 Reflections on Reflections – Gilles Barthe, John Hatcliff, Morten Heine Sørensen - 1997
7 A Systematic Study of Functional Language Implementations – Rémi Douence, Pascal Fradet - 1998
10 A Taxonomy of Functional Language Implementations Part II: Call-by-Name, Call-by-Need and Graph Reduction – Rémi Douence , Pascal Fradet - 1996
81 Representing control: a study of the CPS transformation – Olivier Danvy, Andrzej Filinski - 1992
5 On the call-by-value CPS transform and its semantics – Carsten Führmann , Hayo Thielecke - 2004
3 Logical Relations for Call-by-value Delimited Continuations – Kenichi Asai - 2007
10 Online Partial Evaluation for Shift and Reset – Kenichi Asai - 2002
Reasoning with Continuations III: A Complete Calculus of Control – Amr Sabry, Matthias Felleisen - 1992
Décrire Et Comparer Les Implantations De Langages Fonctionnels – Rémi Douence, Pascal Fradet - 1996
3 An Equivalence-Preserving CPS Translation via Multi-Language Semantics (Technical Appendix) – Amal Ahmed, Matthias Blume
5 Strategies for Fusing Logic and Control via Local, Application-Specific Transformations – Patricia Johann, Patricia Johann, Patricia Johann, Eelco Visser, Eelco Visser, Eelco Visser - 2003
55 Compiling Haskell by program transformation: a report from the trenches – Simon L. Peyton Jones - 1996
12 Fusing Logic and Control with Local Transformations: An Example Optimization – Patricia Johann, Eelco Visser - 2001
120 The Glasgow Haskell compiler: a technical overview – Simon L. Peyton Jones, Cordy Hall, Kevin Hammond, Jones Cordy, Hall Kevin, Will Partain, Phil Wadler - 1992