Jonathan Eifrig, Scott F. Smith, Valery Trifonov
Sound Polymorphic Type Inference for Objects
OOPSLA, 1995.
@inproceedings{OOPSLA-1995-EifrigST,
author = "Jonathan Eifrig and Scott F. Smith and Valery Trifonov",
booktitle = "{Proceedings of the 10th Annual Conference on Object-Oriented Programming, Systems, Languages and Applications}",
doi = "10.1145/217838.217858",
editor = "Rebecca Wirfs-Brock",
isbn = "0-89791-703-0",
pages = "169--184",
publisher = "{ACM}",
title = "{Sound Polymorphic Type Inference for Objects}",
year = 1995,
}