Polymorphic Subtyping for Effect Analysis: The Semantics
DOI:
https://doi.org/10.7146/dpb.v25i502.7031Abstract
We study an annotated type and effect system that integrates let-polymorphism, effects, and subtyping into an annotated type and effect system for a fragment of Concurrent ML. First a small step operational semantics is defined for concurrent ML and next the annotated type and effect system is proved semantically sound. This provides insights into the rule for generalisation in the annotated type and effect system.Downloads
Published
1996-04-01
How to Cite
Amtoft, T., Nielson, F., Nielson, H. R., & Ammann, J. (1996). Polymorphic Subtyping for Effect Analysis: The Semantics. DAIMI Report Series, 25(502). https://doi.org/10.7146/dpb.v25i502.7031
Issue
Section
Articles
License
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.