Sciweavers

JFP
2002

Recursive subtyping revealed

13 years 11 months ago
Recursive subtyping revealed
Algorithms for checking subtyping between recursive types lie at the core of many programming language implementations. But the fundamental theory of these algorithms and how they relate to simpler declarative speci cations is not widely understood, due in part to
Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pi
Added 22 Dec 2010
Updated 22 Dec 2010
Type Journal
Year 2002
Where JFP
Authors Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce
Comments (0)