TY  - BOOK
AU  - Pierce, Benjamin C
TI  - Advanced topics in types and programming languages
SN  - 8120327926
U1  - 005.133 PIE/A 
PY  - 2005///
CY  - New Delhi
PB  - Prentice Hall 
KW  - PROGRAMMING LANGUAGE
KW  - TYPES
ER  -