Lambda-lifting in quadratic time (2002)

by Olivier Danvy, Ulrik Schultz
Venue:In Functional and Logic Programming