Title of article

Positive Subtyping

Author/Authors

Martin Hofmann، نويسنده , , Benjamin C. Pierce، نويسنده ,

Issue Information

روزنامه با شماره پیاپی سال 1996

Pages

23

From page

11

To page

33

Journal title

Information and Computation

Serial Year

1996

Journal title

Information and Computation

Record number

261641