Open AccessPolymorphic subtyping for effect analysis: The algorithm
Author(s) -
Flemming Nielson,
Hanne Riis Nielson,
Torben Amtoft
Publication year - 1997
Publication title -
lecture notes in computer science
Language(s) - English
Resource type - Book series
SCImago Journal Rank - 0.249
H-Index - 400
eISSN - 1611-3349
pISSN - 0302-9743
ISBN - 3-540-62503-8
DOI - 10.1007/3-540-62503-8_10
Subject(s) - subtyping , computer science , algorithm , theoretical computer science , programming language
We study an annotated type and effect system that inte- grates let-polymorphism, effects, and subtyping into an annotated type and effect system for a fragment of Concurrent ML. First we define a type inference algorithm and then construct procedures for constraint normalisation and simplification. Next these algorithms are proved syn- tactically sound with respect to the annotated type and effect system.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom