Ole Agesen. The Cartesian Product Algorithm: Simple and Precise Type Inference Of Parametric Polymorphism. In Walter G. Olthoff, editor, ECOOP 95 - Object-Oriented Programming, 9th European Conference, Åarhus, Denmark, August 7-11, 1995, Proceedings. Volume 952 of Lecture Notes in Computer Science, pages 2-26, Springer, 1995. [doi]
Abstract is missing.