Italiano (Italian) English (Inglese)
Friday, 22 October 2021

Publications

Back
Pubblication Details
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