Pubblicazioni
| Autori: | Paola Giannini |
| Furio Honsell | |
| Simona Ronchi Della Rocca | |
| Titolo: | Type Inference: some results, some problems |
| Apparso su: | Fundamenta Informatic\ae 19 1-2 |
| Pagine: | 87 - 125 |
| Anno: | 1993 |
| Tipo Pubblicazione: | Paper on International Journal |
| Sommario: |