Pubblicazioni
| Autori: | Mario Coppo |
| Paola Giannini | |
| Titolo: | Principal Types and Unification For a Simple Intersection Type System |
| Apparso su: | Information and Computation 122 |
| Pagine: | 70--96 |
| Anno: | 1995 |
| Tipo Pubblicazione: | Paper on International Journal |
- Ateneo
- | DiSIT
- |
- | Mappa del Sito