Johnsson [1985], "Lambda lifting: transforming programs to recursive equations (0)

by Thomas
Venue:in Proc IFIP Conference on Functional Programming and Computer Architecture, Jouannaud, ed., LNCS 201