A Partial Evaluator for the Untyped Lambda Calculus (1991)

Cached

Download Links

by Carsten K. Gomard , Neil D. Jones
Venue:Final Report of the NSF Workshop on Scientific Database Management. SIGMOD RECORD
Citations:93 - 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