Types and Programming Languages

Pierce Benjamin C Benjamin C. Pierce

ISBN 10: 0262162091 / ISBN 13: 9780262162098

Published by MIT Press, 2002

About this Item

pp. xxi + 623 Illus. Seller Inventory # 8203570

Bibliographic Details

Title: Types and Programming Languages

Publisher: MIT Press

Publication Date: 2002

Binding: Hardcover

Condition: New

About this title

Synopsis:

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

More