Italiano (Italian) English (Inglese)
mercoledì, 30 ottobre 2024

Pubblicazioni

Indietro
Dettagli Pubblicazione
Autori:Paola Giannini
Simona Ronchi Della Rocca
Titolo:A Type Inference Algorithm for a complete stratification of the Polymorphic Type Discipline
Apparso su:Information and Computation 110
Pagine:115 - 173
Anno:1994
Tipo Pubblicazione:Paper on International Journal