Stefan Kaes. Type Inference in the Presence of Overloading, Subtyping and Recursive Types. In Proceedings of the 1992 ACM Conference on LISP and Functional Programming. LFP '92, pages 193-204, Association for Computing Machinery, New York, NY, USA, 1992. [doi]
@inproceedings{Kaes92,
title = {Type Inference in the Presence of Overloading, Subtyping and Recursive Types},
author = {Stefan Kaes},
year = {1992},
doi = {10.1145/141471.141540},
url = {http://doi.acm.org/10.1145/141471.141540},
tags = {type inference, rule-based, overloading, constraints, type system, subtyping, ad-hoc polymorphism, systematic-approach},
researchr = {https://researchr.org/publication/Kaes92},
cites = {0},
citedby = {0},
pages = {193-204},
booktitle = {Proceedings of the 1992 ACM Conference on LISP and Functional Programming},
series = {LFP '92},
address = {New York, NY, USA},
publisher = {Association for Computing Machinery},
}