Explaining Type Inference. - Dominic Duggan; Frederick Bent (Sci. Comput. Program., 1996)