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.

@inproceedings{DayGLM95,
  title = {Subtypes vs. Where Clauses: Constraining Parametric Polymorphism},
  author = {Mark Day and Robert Gruber and Barbara Liskov and Andrew C. Myers},
  year = {1995},
  tags = {C++, subtyping},
  researchr = {https://researchr.org/publication/DayGLM95},
  cites = {0},
  citedby = {0},
  pages = {156-168},
  booktitle = {OOPSLA},
}