della Rocca. Type Inference: Some Results, Some Problems (1993)

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