TY  - BOOK
T1  - Types and programming languages
A1  - Pierce, Benjamin C.
LA  - English
PP  - Cambridge, Mass.
PB  - MIT Press
YR  - 2002
UL  - https://tuklas.up.edu.ph/Record/UP-1685523046126268214
OP  - 623
CN  - QA 76.7 P54 2002
SN  - 0262162091 (hc. : alk. paper)
KW  - Programming languages (Electronic computers)
ER  -