Open AccessPolymorphic Subtyping for Effect Analysis: the Algroithm
Author(s) -
Flemming Nielson,
Hanne Riis Nielson,
Torben Amtoft
Publication year - 1996
Publication title -
daimi pb
Language(s) - English
Resource type - Journals
eISSN - 2245-9316
pISSN - 0105-8517
DOI - 10.7146/dpb.v25i503.7032
Subject(s) - subtyping , type inference , type (biology) , constraint (computer aided design) , fragment (logic) , computer science , inference , polymorphism (computer science) , algorithm , programming language , mathematics , artificial intelligence , genetics , biology , genotype , ecology , geometry , gene
We study an annotated type and effect system that integrates let -polymorphism, effects, and sybtyping into an annotated type and effect system for a fragment of Concurrent ML. First a type inference algorithm and a procedure for constraint normalisation and simplification are defined, and next they are proved syntactically sound with respect to the annotated type and effect system.