Pubblicazioni
| Autori: | Paola Giannini |
| Simona Ronchi Della Rocca | |
| Titolo: | A Type Inference Algorithm for a complete stratification of the Polymorphic Type Discipline |
| Apparso su: | Information and Computation 110 |
| Pagine: | 115 - 173 |
| Anno: | 1994 |
| Tipo Pubblicazione: | Paper on International Journal |