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