| Lingua originale | Inglese |
|---|---|
| pagine (da-a) | 115-173 |
| Numero di pagine | 59 |
| Rivista | Information and Computation |
| Volume | 110 |
| Stato di pubblicazione | Pubblicato - 1994 |
A Type Inference Algorithm for a complete stratification of the Polymorphic Type Discipline
Paola GIANNINI, SIMONA RONCHI DELLA ROCCA
Risultato della ricerca: Contributo su rivista › Articolo in rivista › peer review