Lambda Lifting: Transforming Programs to Recursive Equations (1985)

by T Johnsson
Venue:Functional Languages and Computer Architecture, LNCS