Self-applicable Partial Evaluation for Pure Lambda Calculus (1992)

Cached

Download Links

by Torben Æ Mogensen , Torben Ae. Mogensen
Venue:Yale University
Citations:14 - 2 self

Documents Related by Co-Citation

93 A Partial Evaluator for the Untyped Lambda Calculus – Carsten K. Gomard, Neil D. Jones - 1991
49 Partial type inference for untyped functional programs (extended abstract – C Gomard - 1990
91 Efficient Type Inference for Higher-Order Binding-Time Analysis – Fritz Henglein - 1991
37 Specifying the correctness of binding-time analysis – Michell Wand - 1993
207 Type-directed partial evaluation – Olivier Danvy - 1996
90 Automatic autoprojection of higher order recursive equations – Anders Bondorf - 1991
1125 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1981
4 Partial Evaluation and Correctness – Morten Welinder - 1997
302 Higher-order abstract syntax – F Pfenning, C Elliott - 1988
17 Correctness of Binding-time Analysis – Jens Palsberg - 1993
67 Binding time analysis for higher order untyped functional languages – C Consel - 1990
29 Automatic binding time analysis for a typed l calculus – H R Nielson, F Nielson - 1988
122 An experiment in partial evaluation: The generation of a compiler generator – Neil D Jones, Peter Sestoft, Harald Søndergaard - 1985
19 Binding Time Analysis for Polymorphically Typed Higher Order Languages – Mogensen - 1989
45 Partially static structures in a self-applicable partial evaluator – T Æ Mogensen - 1987
641 P.: Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, Sestoft - 1993
47 Projection Factorisation in Partial Evaluation – John Launchbury - 1990
237 Tutorial Notes on Partial Evaluation – Charles Consel, Olivier Danvy - 1993
34 A self-applicable partial evaluator for the lambda calculus: correctness and pragmatics – C K Gomard - 1992