Closure generation based on viewing Lambda as Epsilon plus compile (1992)

by M Feeley, G Lapalme
Venue:Journal of Computer Languages