Giuseppe Castagna, Kim Nguyen, Zhiwu Xu, Pietro Abate
Polymorphic Functions with Set-Theoretic Types: Part 2: Local Type Inference and Type Reconstruction
POPL, 2015.
@inproceedings{POPL-2015-Castagna0XA,
author = "Giuseppe Castagna and Kim Nguyen and Zhiwu Xu and Pietro Abate",
booktitle = "{Proceedings of the 42nd Symposium on Principles of Programming Languages}",
doi = "10.1145/2676726.2676991",
isbn = "978-1-4503-3300-9",
pages = "289--302",
publisher = "{ACM}",
title = "{Polymorphic Functions with Set-Theoretic Types: Part 2: Local Type Inference and Type Reconstruction}",
year = 2015,
}