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 aby programming examples and the more theoretical sections are driven żeby the needs of implementations. Each chapter is accompanied żeby 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.
An argument for a design philosophy of better, not more.Never have we wanted, owned, and wasted so much stuff. Our consumptive path through modern...84,58 zł
An argument that what makes science distinctive is its emphasis on evidence and scientists' willingness to change theories on the basis of new...62,44 zł
An up-to-date overview of the field of connectomics, introducing concepts and mechanisms underlying brain network change at different stages....225,96 zł
A concise overview of machine learning--computer programs that learn from data--the basis of such applications as voice recognition and driverless...60,06 zł
With the publication of The Image of the City in 1959, Kevin Lynch embarked upon the process of exploring city form. Good City Form is both a...323,06 zł
The Robotics Primer offers a broadly accessible introduction to robotics for students at pre-university and university levels, robot hobbyists,...225,96 zł
Climate engineering -- which could slow the pace of global warming aby injecting reflective particles into the upper atmosphere -- has emerged...37,12 zł
The conceptual history of cognitive science remains for the most part unwritten. In this groundbreaking book, Jean-Pierre Dupuy--one of the principal...174,04 zł
Among architects and preservationists, the writings of Viollet-le-Duc (1814-1879) have long been considered major resources. They inspired a...216,43 zł
In The Possibility of an Absolute Architecture, Pier Vittorio Aureli proposes that a sharpened formal consciousness in architecture is a precondition...149,41 zł
Earth Moves, Bernard Cache's first major work, conceptualizes a series of architectural images as vehicles for two important developments. First,...164,90 zł
Opinie i recenzje użytkowników
Dodaj opinie lub recenzję dla Types and Programming Languages. Twój komentarz zostanie wyświetlony po moderacji.