Lambda-dropping: transforming recursive equations into programs with block structure

Olivier Danvy, Ulrik Pagh Schultz. Lambda-dropping: transforming recursive equations into programs with block structure. Theoretical Computer Science, 248(1-2):243-287, 2000. [doi]

No reviews for this publication, yet.