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

by C K Gomard, N D Jones
Venue:J. Funct. Programming