Subtypes vs. Where Clauses: Constraining Parametric Polymorphism

Mark Day, Robert Gruber, Barbara Liskov, Andrew C. Myers. Subtypes vs. Where Clauses: Constraining Parametric Polymorphism. In OOPSLA. pages 156-168, 1995.

Bibliographies