Pubblicazioni
| Autori: | Mario Coppo |
| Ferruccio Damiani | |
| Paola Giannini | |
| Titolo: | Strictness, totality, and non-standard type inference |
| Apparso su: | Theoretical Computer Science 272 1-2 |
| Pagine: | 69--112 |
| Editore: | Elsevier |
| Anno: | 2002 |
| Tipo Pubblicazione: | Paper on International Journal |
| URL: | http://www.di.unito.it/~damiani/papers/tcs1.html |