Precise constraint-based type inference for Java (2001)

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