Pubblicazioni
| Autori: | Paola Giannini |
| Simona Ronchi Della Rocca | |
| Titolo: | Type Inference in Polymorphic Type Discipline |
| Apparso su: | In Theoretical Aspects of Computer Software, TACS91 |
| Anno: | 1991 |
| Tipo Pubblicazione: | Paper on Proceedings International Conference |