Types and Programming Languages

by Benjamin C. Pierce

Book Overview

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

• Format: Hardcover
• Language: English
• ISBN: 0262162091
• ISBN13: 9780262162098
• Release Date: February 2002
• Publisher: MIT Press
• Length: 648 Pages
• Weight: 2.90 lbs.
• Dimensions: 1.4" x 8.1" x 9.4"
• Age Range: 18 years and up
• Grade Range: Postsecondary and higher