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

    Amtoft, T., Nielson, F., Nielson, H. R., & Ammann, J. (1997). Polymorphic Subtyping for Effect Analysis: The Dynamic Semantics. In Analysis and Verification of Multiple-Agent Languages (pp. 172-206) http://www2.imm.dtu.dk/pubdb/p.php?1572