Principality and Decidable Type Inference for Finite-Rank Intersection Types (1999)

by A. J. Kfoury, J. B. Wells
Venue:In Conf. Rec. POPL ’99: 26th ACM Symp. Princ. of Prog. Langs