Demand-Driven Type Inference with Subgoal Pruning: Trading Precision for Scalability.

Steven Alexander Spoon, Olin Shivers

Browse the full ECOOP paper archive.