285 search results - page 4 / 57 » Game Semantics and Subtyping |
PPDP
2005
Springer
15 years 2 months ago
2005
Springer
ECOOP
2004
Springer
15 years 2 months ago
2004
Springer
LICS
2002
IEEE
15 years 2 months ago
2002
IEEE
ICFP
2010
ACM
14 years 10 months ago
2010
ACM
110
click to vote
POPL
1991
ACM
15 years 29 days 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...