A Partial Evaluator for the Untyped Lambda Calculus (1991)

Cached

Download Links

by Carsten K. Gomard , Neil D. Jones
Venue:Final Report of the NSF Workshop on Scientific Database Management. SIGMOD RECORD
Citations:93 - 3 self

Active Bibliography

48 Static and Dynamic Semantics Processing – Charles Consel, Olivier Danvy - 1991
26 A Provably Correct Compiler Generator – Jens Palsberg - 1992
18 C Program Specialization – Lars Ole Andersen - 1992
12 An Automatically Generated and Provably Correct Compiler for a Subset of Ada – Jens Palsberg - 1992
237 Tutorial Notes on Partial Evaluation – Charles Consel, Olivier Danvy - 1993
On the Place of Supercompilation inside Program Specialization – Andrei P. Nemytykh
35 A Roadmap to Metacomputation by Supercompilation – Robert Glück, Morten Heine Sørensen - 1996
4 Compiler Generation by Partial Evaluation – Jesper Jørgensen - 1991
Improving the Accuracy of Higher-Order Specialization using Control Flow Analysis – Fuse Memo, Erik Ruf, Daniel Weise
9 Realistic Compilation by Partial Evaluation – Michael Sperber, Peter Thiemann - 1996
12 A Constraint-based Partial Evaluator for Functional Logic Programs and its Application – Laura Lafave - 1998
17 Correctness of Binding-time Analysis – Jens Palsberg - 1993
9 Binding-time Analysis: Abstract Interpretation versus Type Inference – Jens Palsberg, Michael I. Schwartzbach - 1994
2 Comparing Flow-based Binding-time Analyses – Jens Palsberg - 1995
3 A Rational Deconstruction of Landin’s J Operator – Olivier Danvy, Kevin Millikin - 2006
6 Interpreter Prototypes From Formal Language Definitions – Gregory John Michaelson - 1993
23 Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation – Olivier Danvy, René Vestergaard
27 A rational deconstruction of Landin’s SECD machine – Olivier Danvy, Kevin Millikin - 2004
1 Abstract Interpretation and Attribute Grammars – Mads Rosendahl, Clare Hall - 1992