Title of article
A Calculus for Overloaded Functions with Subtyping
Author/Authors
Castagna G.، نويسنده , , Ghelli G.، نويسنده , , Longo G.، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1195
Pages
21
From page
115
To page
135
Journal title
Information and Computation
Serial Year
1195
Journal title
Information and Computation
Record number
261482
Link To Document