Mark Day Robert Gruber Barbara Liskov Andrew C. Myers Subtypes vs. Where Clauses: Constraining Parametric Polymorphism. 156-168 1995 OOPSLA db/conf/oopsla/oopsla95.html#DayGLM95