Title of article

A Semantics for Static Type Inference

Author/Authors

Plotkin G. D.، نويسنده ,

Issue Information

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

Pages

44

From page

256

To page

299

Journal title

Information and Computation

Serial Year

1994

Journal title

Information and Computation

Record number

261375