Colored local type inference

Martin Odersky, Christoph Zenger, Matthias Zenger. Colored local type inference. In Proceedings of the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL, pages 41-53, Association for Computing Machinery, 2001. [doi]

Abstract

Abstract is missing.