000 01005nam a2200289Ia 4500
003 OSt
005 20220912150214.0
006 a|||||r|||| 00| 0
007 ta
008 220909b |||||||| |||| 00| 0 eng d
020 _a0262162091 (hbd)
024 _a9755
037 _bThe Book,
037 _cTextual
040 _aCSL
_beng
_cCSL
041 _aeng
082 _aD65,8(B)92, P2
100 _aPierce Benjamin C
245 0 _aTypes and programming languages by Benjamin C Pierce
260 _aCambridge
_bMIT Press
_c2002
300 _axxi, 623p
500 _aAppendix A-B, 491-566p; Bibliographical references 567-603p; Index 605-623p; ^n23/CSL/D65/2002-2003/225^d2002-07-22^mPurchase; ; 2002-03/113^b2002-08-01^c1709^d2002-07-29^eRs.6,476.56^fThe Book Seller; ; 2002-12-18^bSB^c2003-07-04^dRPS
650 _a Computer programming
650 _aComputer science
942 _hD65,8(B)92, P2
_cTEXL
_2CC
999 _c41864
_d41864