Algebraic subtyping
Auteur :
Dolan, Stephen
Éditeur :
Dolan, Stephen
ISBN :
9781780174150
Date de publication :
31 oct. 2017
Dimensions :
29,7 x 21,0 x 1,0 cm
Langue :
Anglais
Pays d'origine :
Grande Bretagne
This thesis presents a type system combining ML-style parametric polymorphism and subtyping, with type inference, principal types, and decidable type subsumption. Type inference is based on biunification, an analogue of unification that works with subtyping constraints.