Java type unification with wildcards
Java type unification with wildcards Martin Pl¨ umicke University of Cooperative Education Stuttgart/Horb Florianstraße 15, D–72160 Horb [email protected]
Abstract. With the introduction of Java 5.0 the type system has been extended by parameterized types, type variables, type terms, and wildcards. As a result very complex types can arise. The term Vector
Abstract. With the introduction of Java 5.0 the type system has been extended by parameterized types, type variables, type terms, and wildcards. As a result very complex types can arise. The term Vector
