Publications
| Authors: | Stefano Berardi |
| Mario Coppo | |
| Ferruccio Damiani | |
| Paola Giannini | |
| Title: | Type-Based Useless-Code Elimination for Functional Programs |
| Published on: | PLI Workshop - SAIG'00 |
| Pages: | 172--189 |
| Publisher: | Springer |
| Year: | 2000 |
| Tipo Pubblicazione: | Paper on Proceedings International Conference |
| URL: | http://www.di.unito.it/~damiani/papers/saig00.html |