TY  - BOOK
AU  - PIERCE
TI  - ADVANCED TOPICS IN TYPES AND PROGRAMMING LANGUAGES
SN  - 81-203-2792-6
U1  - 005.133 PIE 
PY  - 2005///
PB  - PHI
ER  -