BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Types and Programming Languages (Mit Press)

Types and Programming Languages (Mit Press)

Types and Programming Languages (Mit Press)
Stock photo: cover may vary

Types and Programming Languages (Mit Press) Hardback - 2002 - 1st Edition

by Benjamin C. Pierce

Add to wish list
  • New
New

Description

MIT Press. New.
Ask the seller a question Add to wish list
A$129.52
A$7.20 Delivery within USA
Standard delivery: 5 to 8 days
More delivery options
Ships from The Book Forest (California, United States)

Details

  • Title Types and Programming Languages (Mit Press)
  • Author Benjamin C. Pierce
  • Binding Hardback
  • Edition number 1st
  • Edition 1
  • Condition New
  • Pages 648
  • Volumes 1
  • Language ENG
  • Publisher MIT Press, Cumberland, Rhode Island, U.S.A.
  • Publication date February 1, 2002
  • Bookseller's Inventory # BAY07-00057
  • ISBN 9780262162098 / 0262162091
  • Weight 2.8 lbs (1.27 kg)
  • Dimensions 9.4 x 8.12 x 1.42 in (23.88 x 20.62 x 3.61 cm)
  • Age range 18 to UP years
  • Grade levels 13 - UP
  • Category Computers - Languages / Programming
  • Library of Congress subjects Programming languages (Electronic computers)
  • Library of Congress Catalogue Number 2001044428
  • Dewey Decimal Code 005.13
  • Quantity available 1

About The Book Forest California, United States

Biblio member since 2006

The Book Forest has been selling books on the internet since 2004, with a 98% customer approval rating on other internet book selling venues. At The Book Forest we never mislead customers on the condition of a book so that we might make a sale, and we ship all our orders within 24 hours of receiving them. We also have a 100% money back guarantee, and we handle questions and concerns within a few hours of receiving them.

Terms of Sale: The Book Forest offers a 100% money back guarantee on all items. If you are all dissatisfied with the timeliness or condition of your order you can return it for a full refund (we submit refund upon receipt of the book). Partial refunds are also given if the customer so chooses. Please note that standard/media mail takes 4-14 business days, while priority takes 2-4.

Browse books from The Book Forest

Reader reviews for Types and Programming Languages (Mit Press)

From the publisher

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