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 |
giovedì, 18 aprile 2024