Title of article

Singleton, Union, and Intersection Types for Program Extraction

Author/Authors

Hayashi S.، نويسنده ,

Issue Information

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

Pages

37

From page

174

To page

210

Journal title

Information and Computation

Serial Year

1994

Journal title

Information and Computation

Record number

261373