Thunks (continued) (1992)

Cached

Download Links

by Olivier Danvy , John Hatcliff
Venue:Kansas State University
Citations:8 - 2 self

Active Bibliography

81 Representing control: a study of the CPS transformation – Olivier Danvy, Andrzej Filinski - 1992
21 Thunks and the λ-calculus – John Hatcliff, Olivier Danvy - 1997
17 Call-by-need and Continuation-passing Style – Chris Okasaki, Peter Lee, David Tarditi - 1993
12 Three Steps for the CPS Transformation – Olivier Danvy - 1991
5 Reflections on Reflections – Gilles Barthe, John Hatcliff, Morten Heine Sørensen - 1997
87 A Generic Account of Continuation-Passing Styles – John Hatcliff, Olivier Danvy - 1994
24 The Impact of the Lambda Calculus in Logic and Computer Science – Henk Barendregt, Jon Barwise, Johan Van Benthem, Andreas Blass, Olivier Danvy, Pierre Lescanne, Hans Mooij, Robert Maron, Rinus Plasmeijer, Y Pollack - 1997
14 On the Transformation between Direct and Continuation Semantics – Olivier Danvy, John Hatcliff - 1993
5 On the call-by-value CPS transform and its semantics – Carsten Führmann , Hayo Thielecke - 2004
27 A rational deconstruction of Landin’s SECD machine – Olivier Danvy, Kevin Millikin - 2004
10 Recursion from Iteration – Andrzej Filinski - 1994
11 Using a Continuation Twice and Its Implications for the Expressive Power of Call/cc – Hayo Thielecke - 1998
7 Continuation Semantics and Self-adjointness – Hayo Thielecke - 1997
Towards Compatible and Interderivable . . . Part I: Denotational Semantics, Natural Semantics, and Abstract Machines – Olivier Danvy - 2008
1 Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines – Olivier Danvy - 2008
On the Idempotence of the CPS Transformation – Olivier Danvy, Karoline Malmkjær - 1996
Type Theory for Programming Languages – Robert Harper - 1994
1 Cps-Translation and the Correctness of Optimising Compilers – Geoffrey Burn, Daniel Le Métayer - 1992
4 Proving the Correctness of Compiler Optimisations Based on Strictness Analysis – Geoffrey Burn, Daniel Le Métayer - 1993