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

Publications

Back
Pubblication Details
Authors:Mario Coppo
Paola Giannini
Title:Principal Types and Unification For a Simple Intersection Type System
Published on:Information and Computation 122
Pages:70--96
Year:1995
Tipo Pubblicazione:Paper on International Journal