A Partial Evaluator for the Untyped Lambda Calculus (1991)
by
Carsten K. Gomard
,
Neil D. Jones
| Venue: | Final Report of the NSF Workshop on Scientific Database Management. SIGMOD RECORD |
| Citations: | 90 - 3 self |
BibTeX
@INPROCEEDINGS{Gomard91apartial,
author = {Carsten K. Gomard and Neil D. Jones},
title = {A Partial Evaluator for the Untyped Lambda Calculus},
booktitle = {Final Report of the NSF Workshop on Scientific Database Management. SIGMOD RECORD},
year = {1991},
pages = {32--40}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This article describes theoretical and practical aspects of an implemented self-applicable partial evaluator for the untyped...
