Pierce, Benjamin C.,  <br/><br/>
Advanced Topics in Types and Programming Languages 
Benjamin C. Pierce 
 - New Delhi :  Prentice-Hall of India Private Limited,  c2005. 
 - xiii, 574 p.:  [66] 
<br/><br/><label>ISBN: </label>8120327926 
<br/><br/><label>Dewey Class. No.: </label>005.133  / PIE/ADV