|
4
|
A New One-Pass Transformation into Monadic Normal Form
– Olivier Danvy
- 2003
|
|
13
|
The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms
– Amr A. Sabry
- 1994
|
|
22
|
Eta-Expansion does the Trick
– Olivier Danvy, Karoline Malmkjaer, Jens Palsberg
- 1996
|
|
4
|
A Computational Formalization for Partial Evaluation (Extended Version)
– John Hatcliff, Olivier Danvy
- 1996
|
|
13
|
On the Transformation between Direct and Continuation Semantics
– Olivier Danvy, John Hatcliff
- 1993
|
|
5
|
Pragmatic Aspects of Type-Directed Partial Evaluation
– Olivier Danvy
- 1996
|
|
21
|
Thunks and the λ-calculus
– John Hatcliff, Olivier Danvy
- 1997
|
|
21
|
Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation
– Olivier Danvy, René Vestergaard
|
|
23
|
A rational deconstruction of Landin’s SECD machine
– Olivier Danvy, Kevin Millikin
- 2004
|
|
20
|
Two for the Price of One: Composing Partial Evaluation and Compilation
– Michael Sperber, Peter Thiemann
- 1997
|
|
32
|
The essence of eta-expansion in partial evaluation
– Olivier Danvy, Karoline Malmkjaer, Jens Palsberg
- 1995
|
|
|
This document in subdirectory RS/02/36 / CPS Transformation of Flow Information, Part II: Administrative Reductions ∗
– Daniel Damian, Olivier Danvy, Daniel Damian, Olivier Danvy, Daniel Damian, Olivier Danvy
- 2000
|
|
|
Staging Purely Functional Dynamic Programming Algorithms
– Kedar N. Swadi, Walid Taha, Oleg Kiselyov , et al.
|
|
4
|
Polymorphic Specialization for ML
– Simon Helsen, Peter Thiemann
- 2002
|
|
11
|
A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations
– Dariusz Biernacki, Olivier Danvy, Kevin Millikin
- 2006
|
|
|
Foundations for Partial Evaluation of Functional Languages with Computational Effects
– John Hatcliff
|
|
1
|
Foundations for Partial Evaluation of Functional Programs with Computational Effects
– John Hatcliff
- 1998
|
|
20
|
Definitional interpreters revisited
– John C. Reynolds, In Late, Jean Sammet, Burt Leavenworth, Art Evans
- 1998
|
|
69
|
Representing control: a study of the CPS transformation
– Olivier Danvy, Andrzej Filinski
- 1992
|
