Normal view MARC view ISBD view

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

Standard No.: DIF-M3162

Subjects--Topical Terms:
LENGUAJES DE PROGRAMACIÓN

Place hold
Print
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD