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

by Dominic Duggan