Pierce, Benjamin C . <br/><br/>
Advanced topics in types and programming languages /   Textual Documents 
Benjamin C Pierce. 
 - New Delhi :   Prentice Hall of India ,   2005. 
 - NULL ;   NULL. 
<br/><br/><label>Subjects--Index Terms: </label>Programming languages 
<br/><br/><label>Dewey Class. No.: </label>005.13  / PIE