Italiano (Italian) English (Inglese)
sabato, 20 luglio 2019

Pubblicazioni

Indietro
Dettagli Pubblicazione
Autori:Mario Coppo
Ferruccio Damiani
Paola Giannini
Titolo:Strictness, totality, and non-standard type inference
Apparso su:Theoretical Computer Science 272 1-2
Pagine:69--112
Editore:Elsevier
Anno:2002
Tipo Pubblicazione:Paper on International Journal
URL:http://www.di.unito.it/~damiani/papers/tcs1.html