01 Jun 2006
This is an implementation of Lambda Lifting in Scheme, it is “Algorithm I” from the paper:
Lambda-Lifting Scheme Programs Barbara Mucha, Marco Morazan