TY  - BOOK
AU  - 
TI  - Types and Programming Languages
SN  - 8120324625
U1  - 005.13 
PY  - 2002///
CY  - New Delhi
PB  - Prentice -Hall
KW  - Programming, Languages
N1  - Include Reference & Index
ER  -