Polymorphic Subtyping for Effect Analysis: The Algorithm

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

    Original languageEnglish
    Title of host publicationAnalysis and Verification of Multiple-Agent Languages
    Publication date1997
    Pages207-243
    Publication statusPublished - 1997

    Cite this