TY - BOOK AU - Pierce, Benjamin (ed.) TI - Advanced Topics in Types and Programming Languages SN - 81203279+26 U1 - 005.13 PY - 2005/// CY - New delhi PB - Prentice Hall ofIindia KW - COMPUTER SCIENCE KW - PROGRAMMING LANGUAGES (ELECTRONIC COMPUTERS) ER -