@inproceedings{leroy:hal-01499974, TITLE = {{Polymorphic type inference and assignment}}, AUTHOR = {Leroy, Xavier and Weis, Pierre}, URL = {https://inria.hal.science/hal-01499974}, BOOKTITLE = {{POPL 1991: 18th symposium Principles of Programming Languages}}, ADDRESS = {Orlando, United States}, ORGANIZATION = {{ACM}}, PUBLISHER = {{ACM}}, PAGES = {291-302}, YEAR = {1991}, MONTH = Jan, DOI = {10.1145/99583.99622}, PDF = {https://inria.hal.science/hal-01499974/file/polymorphic-assignment.pdf}, HAL_ID = {hal-01499974}, HAL_VERSION = {v1}, }