35 search results - page 1 / 7 » Subtyping in Java 5.0 |
ACTA
2002
13 years 4 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
13 years 11 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
13 years 10 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
13 years 9 months ago
2003
Springer
ITCS
2008
13 years 5 months ago
2008
