Types and Programming Languages (The MIT Press)

Pierce, Benjamin C.

4.27 out of 5 stars

580 ratings by Goodreads

ISBN 10: 0262162091 ISBN 13: 9780262162098

Published by The MIT Press, 2002

Language: English

Condition: Used - Good Hardcover

Save for Later

Sold by SecondSale, Montgomery, IL, U.S.A.

AbeBooks Seller since December 20, 2007

Seller rating 4 out of 5 stars

View this seller's items

View all copies of this book

Used - Hardcover

Condition: Used - Good

Price: US$ 44.23 Convert Currency

Free shipping within U.S.A. Destination, rates & speeds

Quantity: 1 available

Add to basket

Free 30-day returns

Save for Later

About this Item

Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc.

Seller Inventory # 00091494454

Contact seller

Report this item

Bibliographic Details

Title

Types and Programming Languages (The MIT Press)

Publisher

The MIT Press

Publication Date

2002

Language

English

ISBN 10

0262162091

ISBN 13

9780262162098

Binding

Hardcover

Condition

Good

Seller catalogs

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

About the Author

Benjamin C. Pierce is Professor of Computer and Information Science at the University of Pennsylvania.

"About this title" may belong to another edition of this title.

Store Description

We offer a wide variety of books including fiction and non-fiction titles.

Visit Seller's Storefront

Seller's business information

SBYB, Inc.
900 Knell Rd, Montgomery, IL, 60538, U.S.A.

Sale & Shipping Terms

Terms of Sale

We guarantee the condition of every book as it's described on the Abebooks web sites. If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date. If you've changed your mind about a book that you've ordered, please use the Ask bookseller a question link to contact us and we'll respond within 2 business days.

Shipping Terms

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	4 to 12 business days	3 to 6 business days
First item	US$ 0.00	US$ 10.95

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.