TY - BOOK AU - Pierce,Benjamin C. TI - Advanced topics in types and programming languages SN - 812032792 U1 - 005.13 22 PY - 2005/// CY - New Delhi PB - Prentice-Hall of India KW - Computer science and engineering KW - Programming languages (Electronic computers) N1 - Includes bibliographical references (p. 535-565) and index; CSE ER -