Principality and decidable type inference for intersection types (1999)

by A J Kfoury, J B Wells
Venue:In Conf. Rec. POPL'99:26th ACM Symp. Principles of Prog. Languages