TY - BOOK AU - Pierce, Benjamin C TI - Advanced topics in types and programming languages SN - 0262162288 PY - 2005/// CY - Cambridge PB - Massachusetts Institute of Technology KW - COMPUTER PROGRAMMING KW - COMPUTER SCIENCE KW - ELECTRONIC COMPUTERS KW - PROGRAMMING LANGUAGE ER -