Abstract | ||
---|---|---|
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_{\leq}^{\top}$ style of subtyping discipline. |
Year | DOI | Venue |
---|---|---|
2005 | 10.1007/978-3-540-31987-0_24 | ESOP |
Keywords | Field | DocType |
structural equirecursive type,main contribution,class-based object,subtyping discipline,first-class polymorphic component,class polymorphic value,type system,subtyping algorithm,polymorphism,object oriented language | Programming language,Object-oriented programming,Computer science,Typing environment,Theoretical computer science,First class,Modular design,Subtyping,Type variable,Coordination language | Conference |
Volume | ISSN | ISBN |
3444 | 0302-9743 | 3-540-25435-8 |
Citations | PageRank | References |
1 | 0.37 | 15 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
João Costa Seco | 1 | 71 | 7.36 |
Luís Caires | 2 | 1037 | 63.30 |