Types and Programming Languages

Benjamin C. Pierce

4.28 out of 5 stars

577 ratings by Goodreads

ISBN 10: 0262162091 ISBN 13: 9780262162098

Published by MIT Press Ltd, 2002

Language: English

Condition: New Hardcover

Save for Later

From Kennys Bookstore, Olney, MD, U.S.A.

Seller rating 5 out of 5 stars

AbeBooks Seller since October 9, 2009

View this seller's items

View all copies of this book

New - Hardcover

Price: US$ 126.39 Convert Currency

US$ 10.50 shipping within U.S.A. Destination, rates & speeds

Quantity: 19 available

Add to basket

Free 30-day returns

Save for Later

About this Item

2002. 1st Edition. Hardcover. A comprehensive introduction to type systems and programming languages. Num Pages: 648 pages, 60 illus. BIC Classification: UMX; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 236 x 214 x 34. Weight in Grams: 1330. . . . . . Books ship from the US and Ireland. Seller Inventory # V9780262162098

Contact seller

Report this item

Bibliographic Details

Title: Types and Programming Languages

Publisher: MIT Press Ltd

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

Store Description

We carry a comprehensive range of out of print and rare books.

Visit Seller's Storefront

Seller's business information

Kennys Bookshops and Art Galleries Limited
Liosban Industrial Estate, Tuam Road, Galway, GY, Ireland

Terms of Sale:

We guarantee the condition of every book as it's described on the Abebooks websites.

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.

For any queries please use the contact seller link or send an email to books@kennys.ie

Conor Kenny

Shipping Terms:

All books securely packaged. Some books ship from Ireland.

Payment Methods
accepted by seller