Type Inference: Some Results, Some Problems

Paola Giannini, Furio Honsell, Simona Ronchi Della Rocca. Type Inference: Some Results, Some Problems. Fundamenta Informaticae, 19(1/2):87-125, 1993.

Abstract

Abstract is missing.