TY - BOOK AU - Pierce,Benjamin C.(Editor) TI - Advanced topics in types and programming languages SN - 0262162288 (pbk) U1 - 005.13 PY - 2005/// CY - New Delhi PB - Prentice-Hall KW - Computer science KW - Programming languages KW - Electronic computers KW - Assembly language KW - Operational reasoning KW - Low-level languages KW - Type inference KW - FC ER -