| 000 | 00981cam a22002654a 4500 | ||
|---|---|---|---|
| 001 | 13688130 | ||
| 003 | OSt | ||
| 005 | 20240822082046.0 | ||
| 008 | 040816s2005 maua b 001 0 eng | ||
| 010 | _a 2004057123 | ||
| 020 | _a0262162288 | ||
| 040 |
_aDLC _cDLC _dDLC |
||
| 042 | _apcc | ||
| 050 | 0 | 0 |
_aQA76.7 _b.A36 2005 |
| 082 | 0 | 0 |
_a005.13 _222 |
| 245 | 0 | 0 |
_aAdvanced topics in types and programming languages / _cBenjamin C. Pierce, editor. |
| 260 |
_aCambridge, Mass. : _bMIT Press, _cc2005. |
||
| 300 |
_axiii, 574 p. : _bill. ; _c24 cm. |
||
| 504 | _aIncludes bibliographical references (p. [535]-565) and index. | ||
| 650 | 0 | _aProgramming languages (Electronic computers) | |
| 700 | 1 | _aPierce, Benjamin C. | |
| 906 |
_a7 _bcbc _corignew _d1 _eocip _f20 _gy-gencatlg |
||
| 942 |
_2ddc _cBK _n0 |
||
| 999 |
_c31152 _d31152 |
||