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

1121 The Lambda Calculus, its Syntax and Semantics – H P Barendregt - 1981
645 Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, P Sestoft - 1993
542 The Implementation of Functional Programming Languages – S L Peyton Jones - 1987
944 A theory of type polymorphism in programming – Robin Milner - 1978
535 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
1285 Smalltalk-80: The Language and its Implementation – A Goldberg, D Robson - 1983
520 Lambda Calculi with Types – Henk Barendregt, S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, H. P. Barendregt - 1992
734 Notions of Computation and Monads – Eugenio Moggi - 1991
623 The Art of Prolog – L Sterling, E Shapiro - 1994