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 references recorded for this publication.
No citations of this publication recorded.