- Tytuł:
- Types and Programming Languages
- Autorzy:
- Benjamin C. Pierce
- Temat:
- Mathematical Preliminaries , Untyped Systems, Simple Types
Subtyping , Polymorphism ,Higher-Order Systems - Rok wydania:
- 2002
- Wydawca:
- The MIT Press Cambridge, Massachusetts
- ISBN:
- 9780262162098
- Opis fizyczny:
- 623 s; 23 cm
- Książka