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 - 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
535 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
4 A Computational Formalization for Partial Evaluation (Extended Version) – John Hatcliff, Olivier Danvy - 1996
(Extended version) ∗ – Olivier Danvy, Morten Rhiger, Olivier Danvy, Morten Rhiger, Olivier Danvy, Morten Rhiger - 2000
207 Type-directed partial evaluation – Olivier Danvy - 1996
32 The essence of eta-expansion in partial evaluation – Olivier Danvy, Karoline Malmkjaer, Jens Palsberg - 1995