Italiano (Italian) English (Inglese)
Saturday, 21 May 2022

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