Subtyping Recursive Types.

Roberto M. Amadio, Luca Cardelli

Browse the full POPL paper archive.