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

Skip to content

Types and Programming Languages
Stock photo: cover may vary

Types and Programming Languages Hardback - 2002 - 1st Edition

by Benjamin C. Pierce

Add to wish list

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.

Details

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

About the author

Benjamin C. Pierce is Professor of Computer and Information Science at the University of Pennsylvania.
Back to top↑

More Copies for Sale

Show all copies
Types & Programming Languages
Stock photo: cover may vary

Types & Programming Languages

by Pierce, Benjamin C

  • Used
  • Hardback
Condition
Used
Binding
Hardcover
ISBN 10 / ISBN 13
9780262162098 / 0262162091
Quantity available
1
Seller
Anybook.com
Item price
A$95.51
A$26.46 Delivery to USA

Show details

Description:
MIT Press, 2002. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In poor condition, suitable as a reading copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1350grams, ISBN:9780262162098
Add to wish list
Item price
A$95.51
A$26.46 Delivery to USA
Types and Programming Languages (Mit Press)
Stock photo: cover may vary

Types and Programming Languages (Mit Press)

by Pierce, Benjamin C.

  • Used
  • Very good
  • first
Condition
Very good
Edition
1
ISBN 10 / ISBN 13
9780262162098 / 0262162091
Quantity available
1
Seller
BooksRun
Item price
A$79.11
Free Delivery to USA

Show details

Description:
MIT Press. 1. Very Good. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting.
Add to wish list
Item price
A$79.11
Free Delivery to USA
Types and Programming Languages (Mit Press)
Stock photo: cover may vary

Types and Programming Languages (Mit Press)

by Pierce, Benjamin C

  • Used
  • Hardback
Condition
New
Binding
Hardcover
ISBN 10 / ISBN 13
9780262162098 / 0262162091
Quantity available
1
Seller
CampusBear
Biblio Top Seller
Item price
A$96.52
Free Delivery to USA

Show details

Description:
MIT Press, 2002-02-01. hardcover. Like New. 9x8x1. No highlighting. Very minimal wear.
Add to wish list
Item price
A$96.52
Free Delivery to USA
Types and Programming Languages (Mit Press)
Stock photo: cover may vary

Types and Programming Languages (Mit Press)

by Pierce, Benjamin C

  • Used
  • Hardback
  • first
Condition
Used
Edition
1
Binding
Hardcover
ISBN 10 / ISBN 13
9780262162098 / 0262162091
Quantity available
1
Seller
Ergodebooks
Item price
A$108.56
Free Delivery to USA

Show details

Description:
Phi Learning, 2002-02-01. 1. hardcover. Used: Good. 9.40x8.12x1.42. Buy with confidence. Excellent Customer Service & Return policy.
Add to wish list
Item price
A$108.56
Free Delivery to USA
Types and Programming Languages (Mit Press)
Stock photo: cover may vary

Types and Programming Languages (Mit Press)

by Pierce, Benjamin C

  • Used
  • Good
  • Hardback
Condition
Good
Binding
Hardcover
ISBN 10 / ISBN 13
9780262162098 / 0262162091
Quantity available
1
Seller
Ausvora INC
Item price
A$115.06
Free Delivery to USA

Show details

Description:
MIT Press. hardcover. Good. 0x0x0. Buy with confidence. Excellent Customer Service & Return policy.
Add to wish list
Item price
A$115.06
Free Delivery to USA
Types and Programming Languages (Mit Press)
Stock photo: cover may vary

Types and Programming Languages (Mit Press)

  • New
Condition
New
ISBN 10 / ISBN 13
9780262162098 / 0262162091
Quantity available
1
Seller
The Book Forest
Item price
A$129.52
A$7.20 Delivery to USA

Show details

Description:
MIT Press. New.
Add to wish list
Item price
A$129.52
A$7.20 Delivery to USA
Types and Programming Languages
Stock photo: cover may vary

Types and Programming Languages

by C, Pierce Benjamin,

  • Used
Condition
New
ISBN 10 / ISBN 13
9780262162098 / 0262162091
Quantity available
3
Seller
GreatBookPrices
Item price
A$143.74
A$5.76 Delivery to USA

Show details

Description:
like new.
Add to wish list
Item price
A$143.74
A$5.76 Delivery to USA
Types and Programming Languages
Stock photo: cover may vary

Types and Programming Languages

by C, Pierce Benjamin,

  • New
Condition
New
ISBN 10 / ISBN 13
9780262162098 / 0262162091
Quantity available
3
Seller
GreatBookPrices
Item price
A$143.74
A$5.76 Delivery to USA

Show details

Description:
new.
Add to wish list
Item price
A$143.74
A$5.76 Delivery to USA
Types and Programming Languages (Mit Press)
Stock photo: cover may vary

Types and Programming Languages (Mit Press)

by Pierce, Benjamin C.

  • Used
  • Good
  • Hardback
Condition
Good
Binding
Hardcover
ISBN 10 / ISBN 13
9780262162098 / 0262162091
Quantity available
1
Seller
Bonita
Item price
A$148.11
Free Delivery to USA

Show details

Description:
hardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Add to wish list
Item price
A$148.11
Free Delivery to USA
Types and Programming Languages (Mit Press)
Stock photo: cover may vary

Types and Programming Languages (Mit Press)

by Pierce, Benjamin C

  • New
  • Hardback
  • first
Condition
New
Edition
1
Binding
Hardcover
ISBN 10 / ISBN 13
9780262162098 / 0262162091
Quantity available
1
Seller
Ergodebooks
Item price
A$165.01
Free Delivery to USA

Show details

Description:
Phi Learning, 2002-02-01. 1. hardcover. New. 9.40x8.12x1.42. Buy with confidence. Excellent Customer Service & Return policy.
Add to wish list
Item price
A$165.01
Free Delivery to USA
Show all copies
Back to top↑

Please wait a moment while we load the requested page.