The essence of eta-expansion in partial evaluation (1995)

by Olivier Danvy , Karoline Malmkjaer , Jens Palsberg
Venue:LISP AND SYMBOLIC COMPUTATION
Citations:32 - 11 self

Active Bibliography

21 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
16 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
527 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
81 Representing control: a study of the CPS transformation – Olivier Danvy, Andrzej Filinski - 1992
2 Reasoning about Code Generation in Two-Level Languages – Zhe Yang - 2000
9 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
T~pe-Directed Partial Evalt~ation – Olivier Danvy
5 A New One-Pass Transformation into Monadic Normal Form – Olivier Danvy - 2003
3 Two Flavors of Offline Partial Evaluation – Simon Helsen, Peter Thiemann - 1998
5 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