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

Olivier Danvy, Ulrik Pagh Schultz

Research output: Contribution to journalJournal articleResearchpeer-review

Original languageEnglish
JournalTheoretical Computer Science
Volume248
Issue number1-2
Pages (from-to)243-287
ISSN0304-3975
Publication statusPublished - 2000
Externally publishedYes

Cite this