Subtypes vs. Where Clauses: Constraining Parametric Polymorphism.

Mark Day, Robert Gruber, Barbara Liskov, Andrew C. Myers

Browse the full OOPSLA paper archive.