"Subtyping First-Class Polymorphic Components."

João Costa Seco, Luís Caires (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics