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:95 - 3 self

Active Bibliography

535 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
496 Algebraic laws for nondeterminism and concurrency – Matthew Hennessy, Robin Milner - 1985
48 Static and Dynamic Semantics Processing – Charles Consel, Olivier Danvy - 1991
302 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
237 Tutorial Notes on Partial Evaluation – Charles Consel, Olivier Danvy - 1993
283 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
27 A Provably Correct Compiler Generator – Jens Palsberg - 1992