Efficient Self-Interpretation in Lambda Calculus (1994)

Cached

Download Links

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

Documents Related by Co-Citation

1121 The Lambda Calculus, its Syntax and Semantics – H P Barendregt - 1981
542 The Implementation of Functional Programming Languages – S L Peyton Jones - 1987
645 Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, P Sestoft - 1993
535 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
721 Types and programming languages – Benjamin C Pierce - 2002
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
944 A theory of type polymorphism in programming – Robin Milner - 1978
623 The Art of Prolog – L Sterling, E Shapiro - 1994