A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational Effects

M.S. Ager, O. Danvy, J. Midtgaard

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

    Original languageEnglish
    Book seriesB R I C S Report Series
    Number of pages31
    Publication statusPublished - 2003

    Cite this