|
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
|
|
6
|
Call-By-Name CPS-Translation as a Binding-Time Improvement
– Kristian Nielsen, Morten Heine Sørensen
- 1995
|
|
25
|
Syntactic Accidents in Program Analysis: On the Impact of the CPS Transformation
– Daniel Damian, Olivier Danvy
- 2000
|
|
2
|
Language Support for Program Generation: Reasoning, Implementation, and Applications
– Zhe Yang, Olivier Danvy, Benjamin Goldberg
- 2001
|
|
14
|
A Hybrid Approach to Online and Offline Partial Evaluation
– Eijiro Sumii, Naoki Kobayashi
- 2002
|
|
5
|
Pragmatic Aspects of Type-Directed Partial Evaluation
– Olivier Danvy
- 1996
|
|
6
|
Higher-Order Rewriting and Partial Evaluation
– Kristoffer H. Rose, Olivier Danvy
- 1998
|
|
4
|
Polymorphic Specialization for ML
– Simon Helsen, Peter Thiemann
- 2002
|
|
472
|
Program Analysis and Specialization for the C Programming Language
– Lars Ole Andersen
- 1994
|
|
2
|
Reasoning about Code Generation in Two-Level Languages
– Zhe Yang
- 2000
|
|
69
|
Representing control: a study of the CPS transformation
– Olivier Danvy, Andrzej Filinski
- 1992
|
|
8
|
The Second Futamura Projection for Type-Directed Partial Evaluation
– Bernd Grobauer, Zhe Yang
- 1999
|
|
10
|
ML partial evaluation using set-based analysis
– Karoline Malmkjær, Nevin Heintze, Olivier Danvy
- 1994
|
|
4
|
A New One-Pass Transformation into Monadic Normal Form
– Olivier Danvy
- 2003
|
|
3
|
Two Flavors of Offline Partial Evaluation
– Simon Helsen, Peter Thiemann, Nottingham Ng Rd
- 1998
|
|
3
|
Implicit and Explicit Aspects of Scope and Block Structure
– Ulrik Pagh Schultz
|
|
6
|
Correctness of a Region-Based Binding-Time Analysis
– Peter J. Thiemann
- 1997
|
|
21
|
Thunks and the λ-calculus
– John Hatcliff, Olivier Danvy
- 1997
|
