The cartesian product algorithm: Simple and precise type inference of parametric polymorphism (1995)

by O Agesen
Venue:In European Conference on Object-Oriented Programming