A complete type inference algorithm for simple intersection types (1992)

by M Coppo, P Giannini
Venue:In Proc. CAAP’92. Springer-Verlag (LNCS 581