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-04-3
    Number of pages17
    ISSN0909-0878
    Publication statusPublished - 2004

    Cite this