1103 search results - page 4 / 221 » The Relevance of Semantic Subtyping |
PPDP
2005
Springer
14 years 3 days ago
2005
Springer
ECOOP
2004
Springer
14 years 21 hour ago
2004
Springer
LICS
2002
IEEE
13 years 11 months ago
2002
IEEE
ICFP
2010
ACM
13 years 7 months ago
2010
ACM
POPL
1991
ACM
13 years 10 months ago
1991
ACM
We investigate the interactions of subtyping and recursive types, in a simply typed λ-calculus. The two fundamental questions here are whether two (recursive) types are in the su...