Italiano (Italian) English (Inglese)
Monday, 15 April 2024

Publications

Back
Pubblication Details
Authors:Mario Coppo
Ferruccio Damiani
Paola Giannini
Title:Strictness, totality, and non-standard type inference
Published on:Theoretical Computer Science 272 1-2
Pages:69--112
Publisher:Elsevier
Year:2002
Tipo Pubblicazione:Paper on International Journal
URL:http://www.di.unito.it/~damiani/papers/tcs1.html