Colored Local Type Inference (2001)

by Martin Odersky, Matthias Zenger, Matthias Zenger