Explaining type inference (1996)

by D Duggan, F Bent
Venue:Sci. Comput. Program