TY  - BOOK
AU  - BENJAMIN C PIERCE
TI  - TYPES AND PROGRAMMING LANGUAGES
SN  - 8120324625
U1  - 005.133 
PB  - PRENTICE-HALL
KW  - PROGRAMMING LANGUAGE
KW  - PROGRAMING LANGUAGE
ER  -