Title of article
A Type Inference Algorithm for a Stratified Polymorphic Type Discipline
Author/Authors
Giannini P.، نويسنده , , Dellarocca S. R.، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1994
Pages
59
From page
115
To page
173
Journal title
Information and Computation
Serial Year
1994
Journal title
Information and Computation
Record number
261372
Link To Document