TY  - BOOK
AU  - Pierce, Benjamin C.
TI  - Advanced Topics in Types and Programming Languages
SN  - 8120327926
U1  - 005.1322 PIE 
PY  - 2005///
CY  - New Delhi
PB  - Prentice Hall of India
KW  - Programming Languages
ER  -