TY  - BOOK
AU  - Pierce,Benjamin C.
TI  - Types and programming languages
SN  - 8120324625 (pbk)
U1  - 005.13 
PY  - 2002///
CY  - New Delhi 
PB  - Prentice Hall
KW  - Programming languages
KW  - Computer science
KW  - Arithmetic expression
KW  - Mathematical preliminaries
KW  - ML implementation
KW  - Simple extensions
KW  - Sub typing
KW  - Recursive types
KW  - Polymorphism
KW  - FC
ER  -