Mark P. Jones. First-class Polymorphism with Type Inference. In Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. pages 483-496, 1997. [doi]
@inproceedings{Jones97:2,
title = {First-class Polymorphism with Type Inference},
author = {Mark P. Jones},
year = {1997},
doi = {10.1145/263699.263765},
url = {http://doi.acm.org/10.1145/263699.263765},
tags = {type inference},
researchr = {https://researchr.org/publication/Jones97%3A2},
cites = {0},
citedby = {0},
pages = {483-496},
booktitle = {Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
}