Types & Programming Languages (The MIT Press) - Image 1

Price loading...

MIT Press Types & Programming Languages (The MIT Press)

Name: Types & Programming Languages (The MIT Press)
Brand: MIT Press

Information Systems

Price History & Forecast

No Price Data Available

Price history will appear here once data is collected from Amazon.

Price Distribution

No price data available for histogram

Description

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.

Key Features

New

Mint Condition

Dispatch same day for order received before 12 noon

Guaranteed packaging

No quibbles returns

Product Specifications

Brand: MIT Press
Format: hardcover
ASIN: 0262162091
Category: Books > Subjects > Computing & Internet > Computer Science > Information Systems
Domain: Amazon UK
Release Date: 05 February 2002
Listed Since: 07 February 2007

Barcode

No barcode data available

MIT Press Types & Programming Languages (The MIT Press)

Price History & Forecast

No Price Data Available

Price Distribution

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

Advanced Topics in Types and Programming Languages

Type-Logical Semantics

Practical Foundations for Programming Languages

Programming Languages: Build, Prove, and Compare

Principles of Model Checking

Essentials of Programming Languages 3e (OIP) (The MIT Press)

Introduction to Programming Languages

Birkhauser Semantics of Type Theory - Computer Science Book

Concepts, Techniques and Models of Computer Programming (OIP) (The MIT Press)

Isomorphisms of Types: from ?-calculus to information retrieval and language design (Progress in Theoretical Computer Science)

Type Theory and Formal Proof: An Introduction

Mathematics in Programming

Programming Languages: Principles and Paradigms (Undergraduate Topics in Computer Science)

Natural Language Semantics – Formation and Valuation (The MIT Press)

Introduction to Natural Language Processing (Adaptive Computation and Machine Learning series)

Springer Programming Language Design and Implementation Book

Verification of Sequential and Concurrent Programs (Texts in Computer Science)

A Modern Perspective on Type Theory: From its Origins until Today: 29 (Applied Logic Series, 29)

A Modern Perspective on Type Theory: From its Origins until Today: 29 (Applied Logic Series, 29)

Meaning and Grammar, second edition: An Introduction to Semantics

Programming Language Pragmatics

MIT Press How to Design Programs - 2nd Edition Textbook

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

Programming Language Explorations