316 search results - page 19 / 64 » Subtyping Union Types |
124
click to vote
ESOP
2009
Springer
15 years 6 months ago
2009
Springer
Ownership types characterize the topology of objects in the heap, through a characterization of the context to which an object belongs. They have been used to support reasoning, me...
103
click to vote
MSCS
2008
15 years 2 months ago
2008
The idea of coercive subtyping, a theory of abbreviation for dependent type theories, is incorporated into the polymorphic type system in functional programming languages. The tra...
177
click to vote
OOPSLA
1995
Springer
15 years 6 months ago
1995
Springer
All object-oriented languages provide support for subtype polymorphism, which allows the writing of generic code that works for families of related types. There is also a need, ho...
113
click to vote
LICS
1994
IEEE
15 years 6 months ago
1994
IEEE
: We give a semantics for a typed object calculus, an extension of System F with object subsumption and method override. We interpret the calculus in a per model, proving the sound...
109
click to vote
ESOP
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Variant parametric types (VPT) represent the successful result of combining subtype polymorphism with parametric polymorphism to support a more flexible subtyping for Ja...