della Rocca. Type inference: some results, some problems (1993)

by P Giannini, F Honsell, S Ronchi
Venue:Fundamenta Informaticae