000 | 00417 a2200157 4500 | ||
---|---|---|---|
999 |
_c623 _d623 |
||
005 | 20210119152915.0 | ||
008 | 171023b xxu||||| |||| 00| 0 eng d | ||
020 | _a9780262162289 | ||
041 | _aeng | ||
082 | _a005.13 PIE/A | ||
100 |
_aPierce, Benjamin C. _91347 |
||
245 | _aAdvanced topics in types and programming languages | ||
260 |
_bThe MIT Press _c2005 _aCambridge |
||
300 | _axiii, 574p. | ||
942 | _cBK |