00000cam a22000004i 4500 UP-1685523046126268214 Buklod 20140416100233.0 m |o d | cr ||||||||||| 140416s2002 xx d r |||| u| 0262162091 (hc. : alk. paper) (iLib)UPMNL-00013079564 CASM-27652 CAS Library CASM rda eng pcc QA 76.7 P54 2002 Pierce, Benjamin C. Types and programming languages Benjamin C. Pierce. Cambridge, Mass. MIT Press 2002. xxi, 623 pages illustrations 24 cm. text rdacontent unmediated rdamedia volume rdacarrier Includes bibliographical references (p. [567]-603) and index. Programming languages (Electronic computers) FO UPMNL CASM QA 76.7 P54 2002 Book