Title of article
A Syntactic Approach to Type Soundness
Author/Authors
Wright A. K.، نويسنده , , Felleisen M.، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1994
Pages
57
From page
38
To page
94
Journal title
Information and Computation
Serial Year
1994
Journal title
Information and Computation
Record number
261442
Link To Document