The Cartesian Product Algorithm - Simple and Precise Type Inference of Parametric Polymorphism (1995)

by Ole Agesen
Citations:102 - 3 self