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 |
Document Versions
| A Partial Evaluator for the Untyped Lambda Calculus –Carsten K. Gomard, Neil D. Jones — 1991 — Final Report of the NSF Workshop on Scientific Database Management. SIGMOD RECORD |
