285 search results - page 4 / 57 » Game Semantics and Subtyping |
PPDP
2005
Springer
15 years 8 months ago
2005
Springer
81
Voted
ECOOP
2004
Springer
15 years 8 months ago
2004
Springer
LICS
2002
IEEE
15 years 8 months ago
2002
IEEE
79
Voted
ICFP
2010
ACM
15 years 4 months ago
2010
ACM
153
click to vote
POPL
1991
ACM
15 years 6 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...