Venkatesh Choppella. Polymorphic Type Reconstruction Using Type Equations. In Philip W. Trinder, Greg Michaelson, Ricardo Pena, editors, Implementation of Functional Languages, 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003, Revised Papers. Volume 3145 of Lecture Notes in Computer Science, pages 53-68, Springer, 2003. [doi]