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