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

311 Higher-order abstract syntax – Frank Pfenning, Conal Elliott
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
564 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
870 The Art of the Metaobject Protocol РG Kiczales, J des Rivi̬res, D G Bobrow - 1991
1344 Smalltalk-80: The Language and its Implementation – A Goldberg, D Robson - 1983
561 The implementation of functional programming languages – S L Peyton Jones - 1987
552 Lambda Calculi with Types – Henk Barendregt - 1993