How Good is Local Type Inference? (1999)

by Haruo Hosoya, Benjamin C. Pierce