Mark Day, Robert Gruber, Barbara Liskov, Andrew C. Myers
Subtypes vs. Where Clauses: Constraining Parametric Polymorphism
OOPSLA, 1995.
@inproceedings{OOPSLA-1995-DayGLM,
author = "Mark Day and Robert Gruber and Barbara Liskov and Andrew C. Myers",
booktitle = "{Proceedings of the 10th Annual Conference on Object-Oriented Programming, Systems, Languages and Applications}",
doi = "10.1145/217838.217852",
editor = "Rebecca Wirfs-Brock",
isbn = "0-89791-703-0",
pages = "156--168",
publisher = "{ACM}",
title = "{Subtypes vs. Where Clauses: Constraining Parametric Polymorphism}",
year = 1995,
}