12084 search results - page 7 / 2417 » Effect Systems with Subtyping |
TACS
1997
Springer
13 years 11 months ago
1997
Springer
PDPTA
2000
13 years 9 months ago
2000
ICFP
1997
ACM
13 years 12 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
13 years 7 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...
MPC
2010
Springer
14 years 13 days ago
2010
Springer
Abstract. It is natural to present subtyping for recursive types coinductively. However, Gapeyev, Levin and Pierce have noted that there is a problem with coinductive definitions ...