Polymorphic Subtyping for Effect Analysis: The Static Semantics

Hanne Riis Nielson, Flemming Nielson, T. Amtoft

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

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

    Cite this