Italiano (Italian) English (Inglese)
lunedì, 15 aprile 2024

Pubblicazioni

Indietro
Dettagli Pubblicazione
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