Pierce, Benjamin, C <br/><br/>
Types and programming languages 

 - London  MIT Press  2002 
 - xxi, 623p.  
<br/><br/> Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>262162091 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Programming languages -- Computer