Tiejun Wang, Scott F. Smith. Precise Constraint-Based Type Inference for Java. In Jørgen Lindskov Knudsen, editor, ECOOP 2001 - Object-Oriented Programming, 15th European Conference, Budapest, Hungary, June 18-22, 2001, Proceedings. Volume 2072 of Lecture Notes in Computer Science, pages 99-117, Springer, 2001. [doi]
Abstract is missing.