Tiejun Wang Scott F. Smith Precise Constraint-Based Type Inference for Java. 99-117 2001 conf/ecoop/2001 ECOOP http://link.springer.de/link/service/series/0558/bibs/2072/20720099.htm db/conf/ecoop/ecoop2001.html#WangS01