and Adriana Compagnoni. Subtyping for object type constructors (1999)

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