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

Skip to content

Types and Programming Languages

Types and Programming Languages

Types and Programming Languages
Stock photo: cover may vary

Types and Programming Languages Hardback - 2002 - 1st Edition

by Pierce, Benjamin C

Add to wish list
  • Used
Used - Very good

Description

MIT Press. Used - Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Ask the seller a question Add to wish list
NZ$111.88
NZ$12.48 Delivery to USA
Standard delivery: 5 to 21 days
More delivery options
Ships from Better World Books Ltd (Fife, United Kingdom)
Biblio Top Seller
The BIBLIO Guarantee

Details

  • Title Types and Programming Languages
  • Author Pierce, Benjamin C
  • Binding Hardback
  • Edition number 1st
  • Edition 1
  • Condition Used - Very good
  • Pages 648
  • Volumes 1
  • Language ENG
  • Publisher MIT Press, Cumberland, Rhode Island, U.S.A.
  • Publication date February 1, 2002
  • Bookseller's Inventory # GRP96787265
  • 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 2

About Better World Books Ltd Fife, United Kingdom

Biblio member since 2009

Better World Books is a for-profit, socially conscious business and a global online bookseller that collects and sells new and used books online, matching each purchase with a book donation. Each sale generates funds for literacy and education initiatives in the U.S., the U.K., and around the world. Since its launch in 2003, Better World Books has raised over $35 million for libraries and literacy, donated over 38 million books, and reused or recycled more than 475 million books.

Terms of Sale: Better World Books ("BWB") values your satisfaction and offers you returns within thirty (30) days after the estimated delivery date on most items. All returned items must be in the original condition; used items should include the SKU sticker located on the spine or back of the product. If you have an incomplete, incorrect, or damaged shipment, please contact our Customer Care team via Biblio's contact seller options before proceeding with the return. Please keep in mind that because we deal mostly in used books, any extra components, such as CDs, DVDs, figurines, or access codes are not included.

Browse books from Better World Books Ltd

Reader reviews for Types and Programming Languages

Write a review for this book

There are no reviews for this book yet. Be the first to write a review!

Your review will be anonymous unless you login or create an account first.

Overall rating
Remember: You’re rating the book as a work, not the seller or the condition of the specific copy you purchased!

Important Terms and Guidelines

  • Please focus on the book’s content and context. Also, add any personal comments as to how you enjoyed the book. Substantiate your likes and dislikes. You may make comparisons to other books.
  • Reviews must be at least 140 characters in length.
  • Please do not reveal critical plot elements.
  • This is not a help line. Contact customer support if you need help.
Your review must not include:
  • Obscenities, discriminatory language, or other insulting language not suitable for public domain
  • Advertisements, “spam” content, or references to other products, offers or websites.
  • Email addresses, URLs, phone numbers, physical addresses or other contact information.
  • Overly critical comments about other reviews or reviewers
  • Time-sensitive material (i.e. promotional tours, seminars, lectures, etc.)
  • Availability, price, or alternative ordering/shipping information

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.

Please wait a moment while we load the requested page.

tracking-