Marco T. Morazán Ulrik Pagh Schultz Optimal Lambda Lifting in Quadratic Time. 37-56 2007 IFL http://dx.doi.org/10.1007/978-3-540-85373-2_3 conf/ifl/2007 db/conf/ifl/ifl2007.html#MorazanS07