Principality and type inference for intersection types using expansion variables (2001)

by A J Kfoury, J B Wells
Venue:In TLCA 2001, volume 2044 of Lecture Notes in Computer Science