Polymorphic Subtyping for Effect Analysis: The Integration
DOI:
https://doi.org/10.7146/dpb.v25i501.7030Abstract
The integration of polymorphism (in style of the ML let-construct), subtyping, and effects (modelling assignment or communication) into one common type system has proved remarkably difficult. One line of research has succeeded in integrating polymorphism and subtyping; adding effects in a straightforward way results in a semantically unsound system. Another line of research has succeeded in integrating polymorphism, effects, and subeffecting; adding sybtyping in a straightforward way invalidaters the construction of the inference algorithm. This paper integrates all op polymorphism, effects, and sybtyping into an annotated type and effect system for Concurrent ML and shows that the resulting system is a conservative extension of the ML type system.Downloads
Published
1996-04-01
How to Cite
Nielson, H. R., Nielson, F., & Amtoft, T. (1996). Polymorphic Subtyping for Effect Analysis: The Integration. DAIMI Report Series, 25(501). https://doi.org/10.7146/dpb.v25i501.7030
Issue
Section
Articles
License
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.