|
7
|
From Proof Normalization to Compiler Generation and Type-Directed Change-of-Representation
– René Vestergaard
- 1997
|
|
16
|
Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation
– V. Balat, O. Danvy, Olivier Danvy, Olivier Danvy
- 1997
|
|
5
|
Pragmatic Aspects of Type-Directed Partial Evaluation
– Olivier Danvy
- 1996
|
|
22
|
Eta-Expansion does the Trick
– Olivier Danvy, Karoline Malmkjaer, Jens Palsberg
- 1996
|
|
14
|
Memoization in type-directed partial evaluation
– Vincent Balat, Olivier Danvy
- 2002
|
|
230
|
Tutorial Notes on Partial Evaluation
– Charles Consel, Olivier Danvy
- 1993
|
|
3
|
Two Flavors of Offline Partial Evaluation
– Simon Helsen, Peter Thiemann, Nottingham Ng Rd
- 1998
|
|
2
|
Language Support for Program Generation: Reasoning, Implementation, and Applications
– Zhe Yang, Olivier Danvy, Benjamin Goldberg
- 2001
|
|
21
|
Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation
– Olivier Danvy, René Vestergaard
|
|
3
|
Implicit and Explicit Aspects of Scope and Block Structure
– Ulrik Pagh Schultz
|
|
4
|
A Computational Formalization for Partial Evaluation (Extended Version)
– John Hatcliff, Olivier Danvy
- 1996
|
|
|
Types for Proofs and Programs
– Bernd Grobauer
- 1999
|
|
|
General Terms Theory, Languages
– Marcelo Fiore
|
|
18
|
Effective Specialization of Realistic Programs via Use Sensitivity
– Luke Hornof, Charles Consel, Jacques Noyé, Rue Alfred Kastler
- 1997
|
|
1
|
Partial Evaluation: Principles and Perspectives
– Charles Consel, Olivier Danvy
- 1993
|
|
87
|
Opportunities for Online Partial Evaluation
– Erik Ruf, Daniel Weise
- 1992
|
|
8
|
The Second Futamura Projection for Type-Directed Partial Evaluation
– Bernd Grobauer, Zhe Yang
- 1999
|
|
28
|
What Not to Do When Writing an Interpreter for Specialisation
– Neil D. Jones
- 1996
|
|
21
|
Partial Evaluation
– Torben Æ. Mogensen, Torben Ae. Mogensen, Peter Sestoft
- 1996
|
