2-Level Lambda-Lifting

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publicationProc. CAAP & ESOP '88
    PublisherSpringer Verlag
    Publication date1988
    Pages328-343
    Publication statusPublished - 1988
    EventLecture Notes in Computer Science -
    Duration: 1 Jan 1988 → …

    Conference

    ConferenceLecture Notes in Computer Science
    Period01/01/1988 → …

    Cite this

    Nielson, F., & Nielson, H. R. (1988). 2-Level Lambda-Lifting. In Proc. CAAP & ESOP '88 (pp. 328-343). Springer Verlag. http://www2.imm.dtu.dk/pubdb/p.php?1599