The Second Futamura Projection for Type-Directed Partial Evaluation (1999)

Cached

Download Links

by Bernd Grobauer , Zhe Yang
Venue:HIGHER-ORDER AND SYMBOLIC COMPUTATION
Citations:9 - 2 self

Active Bibliography

Types for Proofs and Programs – Bernd Grobauer - 1999
2 Language Support for Program Generation: Reasoning, Implementation, and Applications – Zhe Yang, Olivier Danvy, Benjamin Goldberg - 2001
14 Memoization in type-directed partial evaluation – Vincent Balat, Olivier Danvy - 2002
3 Two Flavors of Offline Partial Evaluation – Simon Helsen, Peter Thiemann - 1998
4 A Computational Formalization for Partial Evaluation (Extended Version) – John Hatcliff, Olivier Danvy - 1996
32 The essence of eta-expansion in partial evaluation – Olivier Danvy, Karoline Malmkjaer, Jens Palsberg - 1995
7 From Proof Normalization to Compiler Generation and Type-Directed Change-of-Representation – René Vestergaard - 1997
2 Reasoning about Code Generation in Two-Level Languages – Zhe Yang - 2000
5 Pragmatic Aspects of Type-Directed Partial Evaluation – Olivier Danvy - 1996
2 Programming techniques for partial evaluation – Olivier Danvy - 2000
207 Type-directed partial evaluation – Olivier Danvy - 1996
21 From Reduction-Based to Reduction-Free Normalization – Olivier Danvy - 2004
28 An Automatic Program Generator for Multi-Level Specialization – Robert Glück, Jesper Jørgensen - 1997
Formal Aspects of Polyvariant Specialization – Henning Korsholm Rohde - 2005
1 The Guideline for the Accounting – Andrzej Filinski, Copyright C, Andrzej Filinski, Andrzej Filinski - 2003
A Semantic Account of Type-Directed . . . – Andrzej Filinski - 1999
26 A Semantic Account of Type-Directed Partial Evaluation – Andrzej Filinski - 1999
27 Cogen in Six Lines – Peter J. Thiemann - 1996
21 Eta-Expansion does the Trick – Olivier Danvy, Karoline Malmkjaer, Jens Palsberg - 1996