Specification and correctness of lambda lifting (2003)

by A Fischbach, J Hannan
Venue:J. Funct. Program