On the complexity ofMLtypability with overloading (1991)

by Tobias Nipkow, Christian Prehofer Dennis M Volpano, Geo rey S Smith
Venue:In Proc. 5th ACM Conf. Functional Programming Languages and Computer Architecture