Sciweavers

Share
ESOP
2005
Springer

Subtyping First-Class Polymorphic Components

8 years 9 months ago
Subtyping First-Class Polymorphic Components
We present a statically typed, class-based object oriented language where classes are first class polymorphic values. A main contribution of this work is the design of a type system that combines first class polymorphic values with structural equirecursive types and admits a subtyping algorithm which is arguably much simpler than existing alternatives. Our development is modular and can be easily instantiated for either a Kernel-Fun or a F≤ style of subtyping discipline.
João Costa Seco, Luís Caires
Added 27 Jun 2010
Updated 27 Jun 2010
Type Conference
Year 2005
Where ESOP
Authors João Costa Seco, Luís Caires
Comments (0)
books