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

Publications

Back
Pubblication Details
Authors:Paola Giannini
Simona Ronchi Della Rocca
Title:A Type Inference Algorithm for a complete stratification of the Polymorphic Type Discipline
Published on:Information and Computation 110
Pages:115 - 173
Year:1994
Tipo Pubblicazione:Paper on International Journal