00459cam a22001094a 4500020002100000082001600021100002400037245003600061260003600097300003500133650018100168  a8120324625 (pbk)00a005.13bPIE1 aPierce, Benjamin C.10aTypes and programming languages  aNew Delhi bPrentice Hallc2002  axxi, 623 p. b: ill. c; 24 cm 0aProgramming languagesaComputer sciencevArithmetic expressionvMathematical preliminariesvML implementationvSimple extensionsvSub typingvRecursive types vPolymorphismvFC