Demand-driven type inference with subgoal pruning: Trading precision for scalability. (2004)

by S Alexander Spoon, Olin Shivers
Venue:In Proceedings of ECOOP’04,