Pubblicazioni
| Autori: | Mario Coppo |
| Paola Giannini | |
| Titolo: | A Complete Type Inference Algorithm for Simple Intersection Types |
| Apparso su: | In Colloquium on Trees Algebras and Programming, CAAP92 |
| Anno: | 1992 |
| Tipo Pubblicazione: | Paper on Proceedings International Conference |