35 search results - page 1 / 7 » Subtyping in Java 5.0 |
ACTA
2002
13 years 11 months ago
2002
Object type constructors have been introduced as an approach to adding container object types to a language with type inference. Useful subtyping for object type constructors requ...
ESOP
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. Structural subtyping is popular in research languages, but all mainstream object-oriented languages use nominal subtyping. Since languages with structural subtyping are n...
APLAS
2009
ACM
14 years 5 months ago
2009
ACM
Bounded existential types are a powerful language feature ling partial data abstraction and information hiding. However, existentials do not mingle well with subtyping as found in ...
ECOOP
2003
Springer
14 years 4 months ago
2003
Springer
ITCS
2008
14 years 13 days ago
2008
