Title of article
An Extension of System F with Subtyping
Author/Authors
Cardelli L.، نويسنده , , Martini S.، نويسنده , , Mitchell J. C.، نويسنده , , Scedrov A.، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1994
Pages
53
From page
4
To page
56
Journal title
Information and Computation
Serial Year
1994
Journal title
Information and Computation
Record number
261370
Link To Document