TY  - BOOK
AU  - PIERCE BENJAMIN C.
TI  - TYPES AND PROGRAMMING LANGUAGES
SN  - 978-0262-162098
AV  - QA76.7.P54 2002 
PY  - 2002///
CY  - LONDON
PB  - MIT PRESS
KW  - Programming languages (Electronic computers)
N1  - INCLUDES INDEX AND REFERENCES
ER  -