1103 search results - page 4 / 221 » The Relevance of Semantic Subtyping |
147
Voted
PPDP
2005
Springer
16 years 29 days ago
2005
Springer
138
Voted
ECOOP
2004
Springer
16 years 26 days ago
2004
Springer
231
click to vote
POPL
1991
ACM
15 years 11 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...