Geoffrey Smith. Polymorphic Type Inference for Languages with Overloading and Subtyping. PhD thesis, Cornell University, USA, 1991.
@phdthesis{us-295, title = {Polymorphic Type Inference for Languages with Overloading and Subtyping}, author = {Geoffrey Smith}, year = {1991}, researchr = {https://researchr.org/publication/us-295}, cites = {0}, citedby = {0}, school = {Cornell University, USA}, }