Title of article

A Semantics for Static Type Inference in a Nondeterministic Language

Author/Authors

Abadi M.، نويسنده ,

Issue Information

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

Pages

7

From page

300

To page

306

Journal title

Information and Computation

Serial Year

1994

Journal title

Information and Computation

Record number

261376