Dennis M. Volpano, Geoffrey Smith. On the Complexity of ML Typability with Overloading. In John Hughes, editor, Functional Programming Languages and Computer Architecture, 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings. Volume 523 of Lecture Notes in Computer Science, pages 15-28, Springer, 1991.
Abstract is missing.