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

by Ole Agesen
Citations:114 - 3 self