Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure.

Olivier Danvy, Ulrik Pagh Schultz

Browse the full PEPM paper archive.