Stephen Dolan, Alan Mycroft. Polymorphism, subtyping, and type inference in MLsub. In Giuseppe Castagna, Andrew D. Gordon, editors, Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017. pages 60-72, ACM, 2017. [doi]
@inproceedings{DolanM17,
title = {Polymorphism, subtyping, and type inference in MLsub},
author = {Stephen Dolan and Alan Mycroft},
year = {2017},
url = {http://dl.acm.org/citation.cfm?id=3009882},
researchr = {https://researchr.org/publication/DolanM17},
cites = {0},
citedby = {0},
pages = {60-72},
booktitle = {Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017},
editor = {Giuseppe Castagna and Andrew D. Gordon},
publisher = {ACM},
isbn = {978-1-4503-4660-3},
}