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

Documents Related by Co-Citation

186 A Modal Analysis of Staged Computation – Rowan Davies, Frank Pfenning - 1996
116 MIX: a self-applicable partial evaluator for experiments – N D Jones, P Sestoft, H Sndergaard - 1989
81 A temporal-logic approach to binding-time analysis – Rowan Davies - 1996
90 Automatic autoprojection of higher order recursive equations – Anders Bondorf - 1991
207 Type-directed partial evaluation – Olivier Danvy - 1996
59 Efficient Multi-level Generating Extensions for Program Specialization – Robert Glück, Jesper Jørgensen - 1995
642 Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, P Sestoft - 1993
238 MetaML and Multi-Stage Programming with Explicit Annotations – Walid Taha, Tim Sheard - 1999
34 Multi-Stage Programming: Axiomatization and Type Safety (Extended Abstract) – Walid Taha, Zine-el-abidine Benaissa, Tim Sheard - 1998
21 Fast Binding-Time Analysis for Multi-Level Specialization – Robert Glück, Jesper Jørgensen - 1996
940 A theory of type polymorphism in programming – Robin Milner - 1978
50 Self-Applicable Partial Evaluation – A Bondorf - 1990
117 Automatic Autoprojection of Recursive Equations with Global Variables and Abstract Data Types – Anders Bondorf, Olivier Danvy - 1990
18 C Program Specialization – Lars Ole Andersen - 1992
91 Efficient Type Inference for Higher-Order Binding-Time Analysis – Fritz Henglein - 1991
172 Refinement types for ML – Tim Freeman - 1994
45 and Hanne Riis Nielson. Two-Level Functional Languages, volume 34 of Cambridge Tracts – Flemming Nielson - 1992
48 Efficient analyses for realistic off-line partial evaluation – Anders Bondorf, Jesper Jørgensen - 1993
122 An experiment in partial evaluation: The generation of a compiler generator – Neil D Jones, Peter Sestoft, Harald Søndergaard - 1985