Searching for "Conjunctive Subtyping." – sorted by Relevance.
7 documents found, showing 1 through 7.
-
cJ: Enhancing Java with safe type conditions
- …) and
that the syntax admits conjunctions of subtyping bounds (e.g.,
“T extends I
& J ”), as well as bounding… - Cited by 3 (1 self) – Add To MetaCart
-
Programming With Intersection Types, Union Types, and Polymorphism
- … -? t Similarly, if x has an intersection type, some of whose conjuncts are not subtypes of any domain type of f…
- Cited by 42 (3 self) – Add To MetaCart
-
Subtyping Constraints for Incomplete Objects (Extended Abstract)
- … abs) are standard; the subsumption rule () is used in conjunction with the subtype relation to account…
- Cited by 23 (15 self) – Add To MetaCart
-
A Subtyping for Extensible, Incomplete Objects
- … subsumption rule () used in conjunction with the subtype relation to account for type promotion. The rules…
- Cited by 8 (5 self) – Add To MetaCart
-
Ownership Types for Object Encapsulation
- … 9: Grammar When effects clauses are used in conjunction with subtyping, the effects of an overridden…
- Cited by 92 (4 self) – Add To MetaCart
-
Ownership Types and Safe Lazy Upgrades in Object-Oriented Databases
- …: Grammar When eects clauses are used in conjunction with subtyping, the eects of an overridden method must…
- Cited by 11 (5 self) – Add To MetaCart
-
Safe compositional specification of networking systems: TRAFFIC the language and its type checking
- … to the conjunction of subtyping relations of tuple elements. We also provide a special operator to reverse a…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 7.
