Explaining Type Inference (1995)

by Dominic Duggan, Frederick Bent
Venue:Science of Computer Programming