Paola Giannini, Furio Honsell, Simona Ronchi Della Rocca. Type Inference: Some Results, Some Problems. Fundamenta Informaticae, 19(1/2):87-125, 1993.
@article{GianniniHR93, title = {Type Inference: Some Results, Some Problems}, author = {Paola Giannini and Furio Honsell and Simona Ronchi Della Rocca}, year = {1993}, tags = {type inference}, researchr = {https://researchr.org/publication/GianniniHR93}, cites = {0}, citedby = {0}, journal = {Fundamenta Informaticae}, volume = {19}, number = {1/2}, pages = {87-125}, }