Thunks and the λ-calculus (1997)

by John Hatcliff , Olivier Danvy
Venue:IN THE JOURNAL OF FUNCTIONAL PROGRAMMING. RS-97-6 OLIVIER DANVY AND ULRIK
Citations:21 - 9 self

Active Bibliography

15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
21 Definitional interpreters revisited – John C. Reynolds, In Late, Jean Sammet, Burt Leavenworth, Art Evans - 1998
87 A Generic Account of Continuation-Passing Styles – John Hatcliff, Olivier Danvy - 1994
On the Idempotence of the CPS Transformation – Olivier Danvy, Karoline Malmkjær - 1996
14 On the Transformation between Direct and Continuation Semantics – Olivier Danvy, John Hatcliff - 1993
27 A rational deconstruction of Landin’s SECD machine – Olivier Danvy, Kevin Millikin - 2004
19 On the Dynamic Extent of Delimited Continuations – Dariusz Biernacki, Olivier Danvy - 2005
1 Interpreting functions as π-calculus processes: a tutorial – Davide Sangiorgi - 1999
3 A Rational Deconstruction of Landin’s J Operator – Olivier Danvy, Kevin Millikin - 2006
5 On the call-by-value CPS transform and its semantics – Carsten Führmann , Hayo Thielecke - 2004
15 Proving the Correctness of Compiler Optimisations Based on a Global Analysis: A Study of Strictness Analysis – Geoffrey Burn, Daniel Le M'etayer - 1992
4 Proving the Correctness of Compiler Optimisations Based on Strictness Analysis – Geoffrey Burn, Daniel Le Métayer - 1993
81 Representing control: a study of the CPS transformation – Olivier Danvy, Andrzej Filinski - 1992
18 A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines – Małgorzata Biernacka, Olivier Danvy - 2005
5 Reflections on Reflections – Gilles Barthe, John Hatcliff, Morten Heine Sørensen - 1997
DOI: 10.1007/s10849-006-0541-6 Types as Graphs: Continuations in Type Logical – unknown authors - 2004
Amr Sabry – University Of Oregon, Amr Sabry, Philip Wadler - 1997
49 Back to Direct Style – Olivier Danvy - 1994
8 Combining algebraic effects with continuations – Martin Hyland, Paul Blain Levy , Gordon Plotkin , John Power - 2007