TY  - BOOK
AU  - Pierce,Benjamin C
TI  - TYPES AND PROGRAMMING LANGUAGES
SN  - 0262162091
U1  - 005.13 
PY  - 2002///
CY  - 
PB  - Mit Press, Cambridge
KW  - Programming Languages(Electronic Computers)
ER  -