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

by M Coppo, P Giannini
Venue:Proceedings of CAAP ’92. 17th Colloquim on Trees in Algebra and Programming