Presne túto si pridáte do košíka
Parametre
Kategórie
Viac o knihe
Focusing on a specific type system, this book offers a detailed introduction to type theory, essential for designing higher-level programming languages like ML. It explores the connection between type systems and propositional logic, while providing an in-depth examination of the type-checking algorithm foundational to these systems. The author presents the material with rigorous yet accessible mathematics, making it an ideal resource for computer scientists seeking to understand type theory at an introductory level.
Nákup knihy
Basic Simple Type Theory, J. Roger Hindley
- Vpisky / podtrhávanie
- Jazyk
- Rok vydania
- 1997
- product-detail.submit-box.info.binding
- (pevná),
- Stav knihy
- Poškodená
- Cena
- 38,06 €
Doručenie
Platobné metódy
Navrhnúť zmenu
- Titul
- Basic Simple Type Theory
- Jazyk
- anglicky
- Autori
- J. Roger Hindley
- Vydavateľ
- Cambridge University Press
- Rok vydania
- 1997
- Väzba
- pevná
- ISBN10
- 0521465184
- ISBN13
- 9780521465182
- Kategórie
- Počítače, IT, programovanie
- Anotácia
- Focusing on a specific type system, this book offers a detailed introduction to type theory, essential for designing higher-level programming languages like ML. It explores the connection between type systems and propositional logic, while providing an in-depth examination of the type-checking algorithm foundational to these systems. The author presents the material with rigorous yet accessible mathematics, making it an ideal resource for computer scientists seeking to understand type theory at an introductory level.