![](/img/cover-not-exists.png)
A partial evaluator for the untyped lambda-calculus
Gomard, Carsten K., Jones, Neil D.Volume:
1
Language:
english
Journal:
Journal of Functional Programming
DOI:
10.1017/s0956796800000058
Date:
January, 1991
File:
PDF, 2.16 MB
english, 1991