S. Alexander Spoon, Olin Shivers. Demand-Driven Type Inference with Subgoal Pruning: Trading Precision for Scalability. In Martin Odersky, editor, ECOOP 2004 - Object-Oriented Programming, 18th European Conference, Oslo, Norway, June 14-18, 2004, Proceedings. Volume 3086 of Lecture Notes in Computer Science, pages 51-74, Springer, 2004. [doi]
Abstract is missing.