Title of article
Dependent Types with Subtyping and Late-Bound Overloading
Author/Authors
Giuseppe Castagna، نويسنده , , Gang Chen، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2001
Pages
67
From page
1
To page
67
Journal title
Information and Computation
Serial Year
2001
Journal title
Information and Computation
Record number
261975
Link To Document