Polymorphic Subtyping for Effect Analysis: the Algroithm | Zendy

Flemming Nielson | Zendy; Hanne Riis Nielson | Zendy; Torben Amtoft | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Polymorphic Subtyping for Effect Analysis: the Algroithm

Author(s) -

Flemming Nielson,

Hanne Riis Nielson,

Torben Amtoft

Publication year - 1996

Publication title -

daimi report series

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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research