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

by M Coppo, P Giannini
Venue:In Proceedings of European Symposium On Programming, volume 582 of Lecture Notes in Computer Science