The Cartesian Product Algorithm: Simple and Precise Type Inference Of Parametric Polymorphism.

Ole Agesen

Browse the full ECOOP paper archive.