Polymorphic Subtyping for Effect Analysis: The Semantics

Authors

  • Torben Amtoft
  • Flemming Nielson
  • Hanne Riis Nielson
  • Jürgen Ammann

DOI:

https://doi.org/10.7146/dpb.v25i502.7031

Abstract

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.

Author Biographies

Torben Amtoft

Flemming Nielson

Hanne Riis Nielson

Jürgen Ammann

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

No. 502 (1996): PB-502 Polymorphic Subtyping for Effect Analysis: The Semantics

Section

Articles

License

Creative Commons License

Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.