On the complexity of ML typability with overloading (1991)

by Dennis M Volpano, Geoffrey S Smith
Venue:In Conference on Functional Programming Languages and Computer Architecture