Sciweavers

74
Voted
MPC
2010
Springer
159views Mathematics» more  MPC 2010»
15 years 1 months ago
Subtyping, Declaratively
Abstract. It is natural to present subtyping for recursive types coinductively. However, Gapeyev, Levin and Pierce have noted that there is a problem with coinductive definitions ...
Nils Anders Danielsson, Thorsten Altenkirch