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