Type-directed partial evaluation (1996)

by Olivier Danvy
Venue:Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Programming Languages
Citations:207 - 39 self

Active Bibliography

17 Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation – Vincent Balat, Olivier Danvy - 1997
7 From Proof Normalization to Compiler Generation and Type-Directed Change-of-Representation – René Vestergaard - 1997
5 Pragmatic Aspects of Type-Directed Partial Evaluation – Olivier Danvy - 1996
21 Eta-Expansion does the Trick – Olivier Danvy, Karoline Malmkjaer, Jens Palsberg - 1996
235 Tutorial Notes on Partial Evaluation – Charles Consel, Olivier Danvy - 1993
3 Two Flavors of Offline Partial Evaluation – Simon Helsen, Peter Thiemann - 1998
2 Language Support for Program Generation: Reasoning, Implementation, and Applications – Zhe Yang, Olivier Danvy, Benjamin Goldberg - 2001
5 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
Semantic Analysis of Normalisation by . . . – Marcelo Fiore - 2002
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
91 Opportunities for Online Partial Evaluation – Erik Ruf, Daniel Weise - 1992
17 Normalization and partial evaluation – Peter Dybjer, Andrzej Filinski - 2002
29 What Not to Do When Writing an Interpreter for Specialisation – Neil D. Jones - 1996
9 The Second Futamura Projection for Type-Directed Partial Evaluation – Bernd Grobauer, Zhe Yang - 1999
14 Memoization in type-directed partial evaluation – Vincent Balat, Olivier Danvy - 2002
23 Partial Evaluation – Torben Æ. Mogensen, Peter Sestoft - 1996