Pierce, Benjamin C. <br/><br/>
Advanced topics in types and programming languages  

 - Cambridge  The MIT Press   2005 
 - xiii, 574p. 
<br/><br/><label>ISBN: </label>9780262162289 
<br/><br/><label>Dewey Class. No.: </label>005.13 PIE/A