Principality and decidable type inference for finite-rank intersection types (1999)

by A J Kfoury, J B Wells
Venue:In Proc. of the 26th Annual ACM Symp. on Principles of Programming Languages (POPL’99