Publications
| Authors: | Paola Giannini |
| Simona Ronchi Della Rocca | |
| Title: | A Type Inference Algorithm for a complete stratification of the Polymorphic Type Discipline |
| Published on: | Information and Computation 110 |
| Pages: | 115 - 173 |
| Year: | 1994 |
| Tipo Pubblicazione: | Paper on International Journal |