56 search results - page 1 / 12 » Polymorphic subtyping in O'Haskell |
80
Voted
LICS
1999
IEEE
15 years 1 months ago
1999
IEEE
The problem of defining and checking a subtype relation between recursive types was studied in [3] for a first order type system, but for second order systems, which combine subty...
AOSD
2003
ACM
15 years 2 months ago
2003
ACM
There are two important points of view on inclusion or subtype polymorphism in object-oriented programs, namely polymorphic access and dynamic dispatch. These features are essenti...
JFP
2006
14 years 9 months ago
2006
We investigate a technique from the literature, called the phantom-types technique, that uses parametric polymorphism, type constraints, and unification of polymorphic types to mo...
ESOP
2005
Springer
15 years 3 months ago
2005
Springer
We present a statically typed, class-based object oriented language where classes are first class polymorphic values. A main contribution of this work is the design of a type syst...
LICS
1994
IEEE
15 years 1 months ago
1994
IEEE
In this paper we study the interaction of subtyping and parametricity. We describe a logic for a programming language with parametric polymorphism and subtyping. The logic support...