000 00505cam a22001334a 4500
020 _a8120324625 (pbk)
082 0 0 _a005.13
_bPIE
100 1 _aPierce, Benjamin C.
245 1 0 _aTypes and programming languages
260 _aNew Delhi
_bPrentice Hall
_c2002
300 _axxi, 623 p.
_b: ill.
_c; 24 cm
650 0 _aProgramming languages
_aComputer science
_vArithmetic expression
_vMathematical preliminaries
_vML implementation
_vSimple extensions
_vSub typing
_vRecursive types
_vPolymorphism
_vFC
942 _cBK
999 _c4867
_d4867