Adam Fischbach John Hannan Specification and correctness of lambda lifting. 509-543 2003 13 J. Funct. Program. 3 http://dx.doi.org/10.1017/S0956796802004604 db/journals/jfp/jfp13.html#FischbachH03