Inheritance Is Not Subtyping.

William R. Cook, Walter L. Hill, Peter S. Canning

Browse the full POPL paper archive.