000 00378nam a22001217a 4500
999 _c1645
_d1645
020 _a8120327926
082 _a005.133
_bPIE/ADV
100 _aPierce, Benjamin C.,
_91953
245 _aAdvanced Topics in Types and Programming Languages
_cBenjamin C. Pierce
260 _aNew Delhi :
_bPrentice-Hall of India Private Limited,
_cc2005.
300 _axiii, 574 p.:
_b[66]
942 _cBOOK