No dustjacket as issued. Some shelf wear, including minor bumps to edges. Binding tight. All pages intact and free of marks. Codice articolo 050325k06

Contatta il venditore

Segnala questo articolo

Dati bibliografici

Titolo: Types and Programming Languages

Casa editrice: MIT Press

Data di pubblicazione: 2002

Legatura: Hardcover

Condizione: Good

Descrizione articolo

Riassunto:

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.

Product Description:

Book by Pierce Benjamin C

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

Friends of the Multnomah County Library (FOL) advocates for and supports our outstanding public library. We provide supplemental funding for library programs and services, and sponsor activities which engage people who value our library. One of the main fundraising activities of our 501(c)(3) nonprofit organization is the sale of donated books, and since our founding in 1972, Friends of the Library has contributed hundreds of thousands of dollars to support our libraries via such sales.

Visita la pagina della libreria

Informazioni sull?azienda del venditore

Friends of the Multnomah County Library
1020 SW Taylor St., Suite 439, Portland, OR, 97205-2509, U.S.A.

Condizioni di vendita:

For orders from from Italty we charge $40 for the first book, $5.00 for each additional book; books are sent via USPS First Class International. Larger and heavier books or sets, especially those being sent outside the USA, may require an extra shipping charge. For questions please call (503) 988-9732 or email us at specialtysales@friends-library.org.

Condizioni di spedizione:

For orders from Abebooks.it we charge $25 for the first book, $5.00 for each additional book, for books not more than 4 pounds; books are sent via USPS First Class International. Priority mail orders start at $65 for the first book, $10.00 for each additional book. Larger and heavier books or sets, especially those being sent outside the USA, may require an extra shipping charge. This shipping method isn't insured, although a registered mail charge can be added. For questions please call (503) 988-9732 or email us at specialtysales@friends-library.org.

Informazioni dettagliate sul venditore

Metodi di pagamento
accettati dalla libreria

Aggiungi ai desiderata

Articoli correlati a Types and Programming Languages

Types and Programming Languages

Pierce, Benjamin C.

Usato - Rilegato

Informazioni sull?azienda del venditore