Pierce, Benjamin C. <br/><br/>
Types   Programming Languages 

 - Londres :  [S.n.],  2002 
 - xxi, 623 p.  :  il.  ;  20 cm 
<br/><br/>1. Untyped Systems. -- - 2. Simple Types -- 3. Subtyping -- 4. Recursive Types - -- 5. Polymorphism 
<br/><br/><label>Standard No.: </label>DIF-M3162 
<br/><br/><label>Subjects--Topical Terms: </label><br/>LENGUAJES DE PROGRAMACIÓN