Lambda-Lifting in Quadratic Time.

Olivier Danvy, Ulrik Pagh Schultz

Browse the full FLOPS paper archive.