Title of article
Simplifying Subtyping Constraints: A Theory
Author/Authors
François Pottier، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2001
Pages
31
From page
153
To page
183
Journal title
Information and Computation
Serial Year
2001
Journal title
Information and Computation
Record number
262001
Link To Document