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

• Type: Journal
• Year: 2002
• Where: JFP
• Authors: Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce
• Keywords: JFP 2002, Programming Language Implementations, Recursive Types, Simpler Declarative Speci