Title of article
Principal Types and Unification for Simple Intersection Type Systems
Author/Authors
Coppo M.، نويسنده , , Giannini P.، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1195
Pages
27
From page
70
To page
96
Journal title
Information and Computation
Serial Year
1195
Journal title
Information and Computation
Record number
261585
Link To Document