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

Documents Related by Co-Citation

207 Type-directed partial evaluation – Olivier Danvy - 1996
641 P.: Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, Sestoft - 1993
237 Tutorial Notes on Partial Evaluation – Charles Consel, Olivier Danvy - 1993
117 Automatic Autoprojection of Recursive Equations with Global Variables and Abstract Data Types – Anders Bondorf, Olivier Danvy - 1990
93 A Partial Evaluator for the Untyped Lambda Calculus – Carsten K. Gomard, Neil D. Jones - 1991
69 Improving binding times without explicit cps-conversion – A Bondorf - 1992
21 Eta-Expansion does the Trick – Olivier Danvy, Karoline Malmkjaer, Jens Palsberg - 1996
50 An inverse of the evaluation functional for typed -calculus – U Berger, H Schwichtenberg - 1991
45 and Hanne Riis Nielson. Two-Level Functional Languages, volume 34 of Cambridge Tracts – Flemming Nielson - 1992
48 Static and Dynamic Semantics Processing – Charles Consel, Olivier Danvy - 1991
90 Automatic autoprojection of higher order recursive equations – Anders Bondorf - 1991
91 Opportunities for Online Partial Evaluation – Erik Ruf, Daniel Weise - 1992
105 Danvy and Andrzej Filinski. Representing control: A study of the CPS transformation – Olivier - 1992
122 An experiment in partial evaluation: The generation of a compiler generator – Neil D Jones, Peter Sestoft, Harald Søndergaard - 1985
91 Efficient Type Inference for Higher-Order Binding-Time Analysis – Fritz Henglein - 1991
527 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
59 For a Better Support of Static Data Flow – Charles Consel, Olivier Danvy
13 A Type-directed, On-line, Partial Evaluator for a Polymorphic Language – Tim Sheard - 1997
23 Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation – Olivier Danvy, RenĂ© Vestergaard