Joseph Gil, Alon Itai. The Complexity of Type Analysis of Object Oriented Programs. In Eric Jul, editor, ECCOP 98 - Object-Oriented Programming, 12th European Conference, Brussels, Belgium, July 20-24, 1998, Proceedings. Volume 1445 of Lecture Notes in Computer Science, pages 601-634, Springer, 1998. [doi]
Abstract is missing.