Polymorphic Functions with Set-Theoretic Types: Part 2: Local Type Inference and Type Reconstruction.

Giuseppe Castagna, Kim Nguyen, Zhiwu Xu, Pietro Abate

Browse the full POPL paper archive.