Publications
| Authors: | Paola Giannini |
| Simona Ronchi Della Rocca | |
| Title: | Type Inference in Polymorphic Type Discipline |
| Published on: | In Theoretical Aspects of Computer Software, TACS91 |
| Year: | 1991 |
| Tipo Pubblicazione: | Paper on Proceedings International Conference |