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

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
    Number of pages44
    Publication statusPublished - 2004

    Cite this