François Pottier. A Framework for Type Inference with Subtyping. In Matthias Felleisen, Paul Hudak, Christian Queinnec, editors, Proceedings of the third ACM SIGPLAN international conference on Functional programming. pages 228-238, ACM, Baltimore, Maryland, United States, 1998. [doi]
@inproceedings{Pottier98, title = {A Framework for Type Inference with Subtyping}, author = {François Pottier}, year = {1998}, doi = {10.1145/289423.289448}, url = {http://doi.acm.org/10.1145/289423.289448}, tags = {type inference, subtyping}, researchr = {https://researchr.org/publication/Pottier98}, cites = {0}, citedby = {0}, pages = {228-238}, booktitle = {Proceedings of the third ACM SIGPLAN international conference on Functional programming}, editor = {Matthias Felleisen and Paul Hudak and Christian Queinnec}, address = {Baltimore, Maryland, United States}, publisher = {ACM}, }