A comprehensive introduction to type systems and programming languages.
A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems—and of programming languages from a type-theoretic perspective—has important applications in software engineering, language design, high-performance compilers, and security.
This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations. Each chapter is accompanied by numerous exercises and solutions, as well as a running implementation, available via the Web. Dependencies between chapters are explicitly identified, allowing readers to choose a variety of paths through the material.
The core topics include the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, and type operators. Extended case studies develop a variety of approaches to modeling the features of object-oriented languages.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Spese di spedizione:
EUR 3,75
In U.S.A.
Descrizione libro Condizione: New. pp. xxi + 623. Codice articolo 26692973
Descrizione libro hardcover. Condizione: New. 1st Edition. Ships in a BOX from Central Missouri! UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes). Codice articolo 000563352N
Descrizione libro Condizione: New. Book is in NEW condition. Codice articolo 0262162091-2-1
Descrizione libro Condizione: New. New! This book is in the same immaculate condition as when it was published. Codice articolo 353-0262162091-new
Descrizione libro Condizione: New. Codice articolo 484270-n
Descrizione libro Hardcover. Condizione: new. Codice articolo 9780262162098
Descrizione libro Condizione: New. Brand New. Codice articolo 0262162091
Descrizione libro hardback. Condizione: New. Language: ENG. Codice articolo 9780262162098
Descrizione libro Condizione: New. In. Codice articolo ria9780262162098_new
Descrizione libro HRD. Condizione: New. New Book. Shipped from UK. Established seller since 2000. Codice articolo GB-9780262162098