Subtyping First-Class Polymorphic Components.

Joo Costa Seco, Lus Caires

Browse the full ESOP paper archive.