Italiano (Italian) English (Inglese)
mercoledì, 24 luglio 2024

Pubblicazioni

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