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

by A KFOURY, J WELLS
Venue:In Proceedings of POPL’99: 26th ACM Symposium on the Principles of Programming. Languages