Precise constraint-based type inference for Java (2001)

by Tiejun Wang , Scott F. Smith
Venue:Lecture Notes in Computer Science
Citations:60 - 7 self