George Kuan, David MacQueen. Efficient type inference using ranked type variables. In Claudio Russo, Derek Dreyer, editors, Proceedings of the ACM Workshop on ML, 2007, Freiburg, Germany, October 5, 2007. pages 3-14, ACM, 2007. [doi]
@inproceedings{KuanM07,
title = {Efficient type inference using ranked type variables},
author = {George Kuan and David MacQueen},
year = {2007},
doi = {10.1145/1292535.1292538},
url = {http://doi.acm.org/10.1145/1292535.1292538},
tags = {type inference},
researchr = {https://researchr.org/publication/KuanM07},
cites = {0},
citedby = {0},
pages = {3-14},
booktitle = {Proceedings of the ACM Workshop on ML, 2007, Freiburg, Germany, October 5, 2007},
editor = {Claudio Russo and Derek Dreyer},
publisher = {ACM},
isbn = {978-1-59593-676-9},
}