Types Programming Languages
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
DIF-M3162
LENGUAJES DE PROGRAMACIÓN
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
DIF-M3162
LENGUAJES DE PROGRAMACIÓN