Subtypes vs. where clauses: Constraining parametric polymorphism

“Subtypes vs. where clauses: Constraining parametric polymorphism” by Mark Day, Robert Gruber, Barbara Liskov, and Andrew C. Meyers. In ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), (Austin, TX), Oct. 1995, pp. 156-168.

BibTeX entry:

@inproceedings{day95subtypes,
   author = {Mark Day and Robert Gruber and Barbara Liskov and Andrew C.
	Meyers},
   title = {Subtypes vs. where clauses: Constraining parametric polymorphism},
   booktitle = {ACM Conference on Object-Oriented Programming, Systems,
	Languages, and Applications (OOPSLA)},
   pages = {156--168},
   address = {Austin, TX},
   month = oct,
   year = {1995},
   url = {http://citeseer.ist.psu.edu/day95subtypes.html}
}