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