A partial evaluator for the untyped lambda-calculus (1991)

by C K Gomard, N D Jones
Venue:Journal of Functional Programming