Searching for "Parametrized Types for C ." – sorted by Relevance.
-
On variance-based subtyping for parametric types
-
than when the
class is declared. For any type argument T, a parametric class C
induces two types: C - Cited by 16 (0 self) – Add To MetaCart
-
Refactoring for parameterizing Java classes
- of parametric types: C〈τ〉 is a subtype of C〈τ ′ 〉 iff τ = τ ′ . Examples. The following examples show how
- Cited by 4 (2 self) – Add To MetaCart
-
Refactoring for Parameterizing Java Classes
-
is not. Rule (r6) enforces invariant subtyping 2 of parametric types: C〈τ〉 is a subtype of C - Add To MetaCart

