1021 search results - page 6 / 205 » Pure Subtype Systems |
TACS
1997
Springer
15 years 3 months ago
1997
Springer
PEPM
1995
ACM
15 years 3 months ago
1995
ACM
PDPTA
2000
15 years 1 months ago
2000
138
click to vote
ICFP
1997
ACM
15 years 3 months ago
1997
ACM
We show how to implement a calculus with higher-order subtyping and subkinding by replacing uses of implicit subsumption with explicit coercions. To ensure this can be done, a pol...
SCP
2002
14 years 11 months ago
2002
O'Haskell is a programming language derived from Haskell by the addition of concurrent reactive objects and subtyping. Because Haskell already encompasses an advanced type sy...