Efficient Self-Interpretation in Lambda Calculus (1994)

Cached

Download Links

by Torben Æ. Mogensen , Torben Ae. Mogensen
Venue:Journal of Functional Programming
Citations:23 - 1 self

Documents Related by Co-Citation

302 Higher-order abstract syntax – F Pfenning, C Elliott - 1988
207 Type-directed partial evaluation – Olivier Danvy - 1996
19 The Theory of Fexprs is Trivial – Mitchell Wand - 1998
117 Automatic Autoprojection of Recursive Equations with Global Variables and Abstract Data Types – Anders Bondorf, Olivier Danvy - 1990
300 Definitional interpreters for higher-order programming languages – John C. Reynolds - 1972
50 Lambda-definability and recursiveness – Stephen C Kleene - 1936
283 The Lambda Calculus: Its Syntax and Semantics. Volume 103 – H P Barendregt - 1984
49 Partial type inference for untyped functional programs (extended abstract – C Gomard - 1990
1125 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1981
183 Introduction to Lambda Calculus – Henk Barendregt, Erik Barendsen - 1994
641 P.: Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, Sestoft - 1993
32 The essence of eta-expansion in partial evaluation – Olivier Danvy, Karoline Malmkjaer, Jens Palsberg - 1995
239 MetaML and Multi-Stage Programming with Explicit Annotations – Walid Taha, Tim Sheard - 1999
53 Metatheory and Reflection in Theorem Proving: A Survey and Critique – John Harrison - 1995
93 A Partial Evaluator for the Untyped Lambda Calculus – Carsten K. Gomard, Neil D. Jones - 1991
149 Hygienic macro expansion – Eugene E Kohlbecker, Daniel P Friedman, Matthias Felleisen, Bruce F Duba - 1986
130 Representing Monads – Andrzej Filinski - 1994
540 The Implementation of Functional Programming Languages – Peyton Jones, S L - 1987
939 A theory of type polymorphism in programming – Robin Milner - 1978