77 search results - page 4 / 16 » Semantic Subtyping |
84
Voted
PPDP
2005
Springer
15 years 7 months ago
2005
Springer
71
Voted
ECOOP
2004
Springer
15 years 7 months ago
2004
Springer
64
Voted
ICFP
2010
ACM
15 years 3 months ago
2010
ACM
143
Voted
POPL
1991
ACM
15 years 5 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...