|
69
|
Representing control: a study of the CPS transformation
– Olivier Danvy, Andrzej Filinski
- 1992
|
|
21
|
Thunks and the λ-calculus
– John Hatcliff, Olivier Danvy
- 1997
|
|
12
|
Call-by-need and Continuation-passing Style
– Chris Okasaki, Peter Lee, David Tarditi
- 1993
|
|
9
|
Three Steps for the CPS Transformation
– Olivier Danvy
- 1991
|
|
5
|
Reflections on Reflections
– Gilles Barthe, John Hatcliff, Morten Heine Sørensen
- 1997
|
|
79
|
A Generic Account of Continuation-Passing Styles
– John Hatcliff, Olivier Danvy
- 1994
|
|
17
|
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
|
|
13
|
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
|
|
23
|
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
|
|
|
Type Theory for Programming Languages
– Robert Harper
- 1994
|
|
|
Towards Compatible and Interderivable . . . 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
|
|
1
|
Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines
– Olivier Danvy
- 2008
|
|
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
|
