Pierce, Benjamin C. <br/><br/>
Types and programming languagues / 
Benjamin C. Pierce. 
 - USA :  The MIT Press,  2002. 
 - xxi, 623 pages. 
<br/><br/>References (pages: [567]-603) and index. 
<br/><br/><br/>English 
<br/><br/><label>ISBN: </label>9780262162098 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Programming.<br/>Programación.<br/>Programming languaje.<br/>Lenguajes de programación.
<br/><br/><label>Dewey Class. No.: </label>005.13 P615t 2002