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