Pubblicazioni
| Autori: | Mario Coppo |
| Ferruccio Damiani | |
| Paola Giannini | |
| Titolo: | Inference based analysis of functional programs: dead-code and strictness |
| Apparso su: | Theories of Types and Proofs 2 |
| Pagine: | 143-176 |
| Editore: | Mathematical Society of Japan |
| Anno: | 1998 |
| Tipo Pubblicazione: | Book |
| URL: | http://www.di.unito.it/~damiani/papers/msj98.html |