TY  - BOOK
AU  - Pierce, Benjamin C
TI  - Types and programming languages
SN  - 8120324625
U1  - 005.133 PIE/T 
PY  - 2004///
CY  - New Delhi
PB  - PHI Learning
KW  - PROGRAMMING LANGUAGE
ER  -