Polymorphic Subtyping for Effect Analysis: The Dynamic Semantics

T. Amtoft, Flemming Nielson, Hanne Riis Nielson, J. Ammann

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

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

    Cite this