Precise Constraint-Based Type Inference for Java

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]

Authors

Tiejun Wang

This author has not been identified. Look up 'Tiejun Wang' in Google

Scott F. Smith

This author has not been identified. Look up 'Scott F. Smith' in Google