Subtyping for Object Type Constructors (1999)

by Dominic Duggan, Adriana Compagnoni
Venue:In FOOL 6. Foundations of Object-Oriented Languages