Pubblicazioni
| Autori: | Stefano Berardi |
| Mario Coppo | |
| Ferruccio Damiani | |
| Paola Giannini | |
| Titolo: | Type-Based Useless-Code Elimination for Functional Programs |
| Apparso su: | PLI Workshop - SAIG'00 |
| Pagine: | 172--189 |
| Editore: | Springer |
| Anno: | 2000 |
| Tipo Pubblicazione: | Paper on Proceedings International Conference |
| URL: | http://www.di.unito.it/~damiani/papers/saig00.html |