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...

Store Description

We carry a wide selection of books from South Asia, United States, UK.

Visit Seller's Storefront

Seller's business information

Readingos GmbH
Kaiserstraße 47, Frankfurt am Main, 60329, Germany

Terms of Sale:

Shipping Terms:

To ensure faster delivery, books may be shipped from any of the following locations Germany, the United Kingdom (UK), the United States (US), based on the buyer's address and product availability.

Payment Methods
accepted by seller

Add to Wants

Items related to Types and Programming Languages

Types and Programming Languages

Pierce Benjamin C Benjamin C. Pierce

New - Hardcover

Seller's business information