TY  - BOOK
AU  - Pierce, Benjamin, C
TI  - Types and programming languages
SN  - 262162091
CY  - London
KW  - Programming languages -- Computer
N1  - Includes bibliographical references and index
ER  -