A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines

Mads Sig Ager, Olivier Danvy, Jan Midtgaard

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearch

    Original languageEnglish
    Book seriesB R I C S Report Series
    IssueRS-03-24
    Number of pages13
    ISSN0909-0878
    Publication statusPublished - 2003

    Cite this