Eta-Expansion does the Trick (1996)

by Olivier Danvy , Karoline Malmkjaer , Jens Palsberg
Venue:ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS
Citations:21 - 6 self

Active Bibliography

4 A Computational Formalization for Partial Evaluation (Extended Version) – John Hatcliff, Olivier Danvy - 1996
39 Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure – Olivier Danvy, Ulrik P. Schultz - 2001
Lambda-dropping: transforming recursive equations – Olivier Danvy A, Ulrik P. Schultz B
13 A Type-directed, On-line, Partial Evaluator for a Polymorphic Language – Tim Sheard - 1997
5 Pragmatic Aspects of Type-Directed Partial Evaluation – Olivier Danvy - 1996
32 The essence of eta-expansion in partial evaluation – Olivier Danvy, Karoline Malmkjaer, Jens Palsberg - 1995
5 Implicit and Explicit Aspects of Scope and Block Structure – Ulrik Pagh Schultz
5 Implementing Memoization for Partial Evaluation – Peter Thiemann - 1997
3 Two Flavors of Offline Partial Evaluation – Simon Helsen, Peter Thiemann - 1998
11 Fixpoint Computation for Polyvariant Static Analyses of Higher-Order Applicative Programs – J. Michael Ashley, Charles Consel - 1994
25 Syntactic Accidents in Program Analysis: On the Impact of the CPS Transformation – Daniel Damian, Olivier Danvy - 2000
12 A Constraint-based Partial Evaluator for Functional Logic Programs and its Application – Laura Lafave - 1998
134 An Introduction to Partial Evaluation – Neil D. Jones - 1996
16 A Hybrid Approach to Online and Offline Partial Evaluation – Eijiro Sumii, Naoki Kobayashi - 2002
Types for Proofs and Programs – Bernd Grobauer - 1999
6 Correctness of a Region-Based Binding-Time Analysis – Peter J. Thiemann - 1997
23 Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation РOlivier Danvy, René Vestergaard
237 Tutorial Notes on Partial Evaluation – Charles Consel, Olivier Danvy - 1993
2 Towards efficient partial evaluation РKaroline Malmkjær - 1993