Pierce, Benjamin C. <br/><br/>
Types and programming languages  
Benjamin C. Pierce 
 - Cambridge, Mass. :  MIT Press,  2002. 
 - xxi, 623 p. :  ill. ;  24 cm 
<br/><br/> Index 
<br/><br/><br/>eng 
<br/><br/><label>ISBN: </label>978-0-262-16209-8 
<br/><br/><label>LCCN: </label>2001044428 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Programming languages (Electronic computers)
<br/><br/><label>LC Class. No.: </label>QA76.7 
<br/><br/><label>Dewey Class. No.: </label>005.13