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

View PDF

Download Links

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

Documents Related by Co-Citation

95 A Partial Evaluator for the Untyped Lambda Calculus – Carsten K. Gomard, Neil D. Jones - 1991
1184 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1984
667 Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, P Sestoft - 1993
209 Type-directed partial evaluation – Olivier Danvy - 1996
1626 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
766 Notions of Computation and Monads – Eugenio Moggi - 1991
985 A theory of type polymorphism in programming – Robin Milner - 1978
4144 Introduction to Automata Theory, Languages, and Computation – J Hopcroft, J Ullman - 1979
667 Systematic design of program analysis frameworks – Patrick Cousot, Radhia Cousot - 1979