Publications
| Authors: | Paola Giannini |
| Furio Honsell | |
| Simona Ronchi Della Rocca | |
| Title: | Type Inference: some results, some problems |
| Published on: | Fundamenta Informatic\ae 19 1-2 |
| Pages: | 87 - 125 |
| Year: | 1993 |
| Tipo Pubblicazione: | Paper on International Journal |
| Abstract: |