Olivier Danvy, Ulrik Pagh Schultz. Lambda-Lifting in Quadratic Time. Journal of Functional and Logic Programming, 2004, 2004. [doi]
@article{DanvyS04,
title = {Lambda-Lifting in Quadratic Time},
author = {Olivier Danvy and Ulrik Pagh Schultz},
year = {2004},
url = {http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2004/A2004-01/JFLP-A2004-01.pdf},
researchr = {https://researchr.org/publication/DanvyS04},
cites = {0},
citedby = {0},
journal = {Journal of Functional and Logic Programming},
volume = {2004},
}