Specification and correctness of lambda lifting (2000)

by Adam Fischbach, John Hannan
Venue:Proceedings of the International Workshop on Semantics, Applications, and Implementation of Program Generation (SAIG 2000), number 1924 in Lecture Notes in 48 Science