Roberto M. Amadio, Luca Cardelli. Subtyping Recursive Types. In POPL. pages 104-118, 1991.
@inproceedings{AmadioC91,
title = {Subtyping Recursive Types},
author = {Roberto M. Amadio and Luca Cardelli},
year = {1991},
tags = {subtyping},
researchr = {https://researchr.org/publication/AmadioC91},
cites = {0},
citedby = {0},
pages = {104-118},
booktitle = {POPL},
}