|
13
|
The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms
– Amr A. Sabry
- 1994
|
|
79
|
A Generic Account of Continuation-Passing Styles
– John Hatcliff, Olivier Danvy
- 1994
|
|
13
|
On the Transformation between Direct and Continuation Semantics
– Olivier Danvy, John Hatcliff
- 1993
|
|
4
|
A Computational Formalization for Partial Evaluation (Extended Version)
– John Hatcliff, Olivier Danvy
- 1996
|
|
69
|
Representing control: a study of the CPS transformation
– Olivier Danvy, Andrzej Filinski
- 1992
|
|
5
|
Reflections on Reflections
– Gilles Barthe, John Hatcliff, Morten Heine Sørensen
- 1997
|
|
22
|
On proving syntactic properties of CPS programs
– Belmina Dzafic, Olivier Danvy, Olivier Danvy, Belmina Dza C, Frank Pfenning, Frank Pfenning
- 1999
|
|
21
|
Thunks and the λ-calculus
– John Hatcliff, Olivier Danvy
- 1997
|
|
11
|
A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations
– Dariusz Biernacki, Olivier Danvy, Kevin Millikin
- 2006
|
|
23
|
A rational deconstruction of Landin’s SECD machine
– Olivier Danvy, Kevin Millikin
- 2004
|
|
24
|
The Occurrence of Continuation Parameters in CPS Terms
– Olivier Danvy, Frank Pfenning
- 1995
|
|
|
Reasoning with Continuations III: A Complete Calculus of Control
– Amr Sabry, Matthias Felleisen
- 1992
|
|
|
On the Idempotence of the CPS Transformation
– Olivier Danvy, Karoline Malmkjær
- 1996
|
|
15
|
Proving the Correctness of Compiler Optimisations Based on a Global Analysis: A Study of Strictness Analysis
– Geoffrey Burn, Daniel Le M'etayer
- 1992
|
|
|
Amr Sabry
– University Of Oregon, Amr Sabry, Philip Wadler
- 1997
|
|
|
Using Program Structure to Guide Optimization in the Presence of First-Class Functions.
– David Tarditi
- 1994
|
|
10
|
Online Partial Evaluation for Shift and Reset
– Kenichi Asai
- 2002
|
|
3
|
A lambda-revelation of the SECD machine
– Olivier Danvy
- 2003
|
|
5
|
Pragmatic Aspects of Type-Directed Partial Evaluation
– Olivier Danvy
- 1996
|
