Polymorphic Subtyping for Effect Analysis: The Static Semantics

Hanne Riis Nielson, Flemming Nielson, T. Amtoft

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

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

    Access to Document

    Cite this

    Nielson, H. R., Nielson, F., & Amtoft, T. (1997). Polymorphic Subtyping for Effect Analysis: The Static Semantics. In Analysis and Verification of Multiple-Agent Languages (pp. 141-171) http://www2.imm.dtu.dk/pubdb/p.php?1571