Skip to content

Types and Programming Languages
Stock Photo: Cover May Be Different

Types and Programming Languages Hardcover - 2002 - 1st Edition

by Benjamin C. Pierce


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 Hardcover
  • Edition number 1st
  • Edition 1
  • Pages 648
  • Volumes 1
  • Language ENG
  • Publisher MIT Press, Cumberland, Rhode Island, U.S.A.
  • Date 2002-01-04
  • 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)
  • Ages 18 to UP years
  • Grade levels 13 - UP
  • Library of Congress subjects Programming languages (Electronic computers)
  • Library of Congress Catalog Number 2001044428
  • Dewey Decimal Code 005.13
Back to Top

More Copies for Sale

Types and Programming Languages (Mit Press)
Stock Photo: Cover May Be Different

Types and Programming Languages (Mit Press)

by Pierce, Benjamin C

  • Used
  • good
  • Hardcover
  • first
Condition
Used - Good
Edition
1
Binding
Hardcover
ISBN 13
9780262162098
ISBN 10
0262162091
Quantity Available
2
Seller
McKeesport, Pennsylvania, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$44.66
$3.75 shipping to USA

Show Details

Description:
MIT Press, 2/1/2002. 1. hardcover. Good. 9x8x1. Bruise/tear to cover.
Item Price
$44.66
$3.75 shipping to USA
Types and Programming Languages (Mit Press)
Stock Photo: Cover May Be Different

Types and Programming Languages (Mit Press)

by Pierce, Benjamin C.

  • New
Condition
New
ISBN 13
9780262162098
ISBN 10
0262162091
Quantity Available
1
Seller
San Rafael, California, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$67.57
$3.99 shipping to USA

Show Details

Description:
New. Well packaged and promptly shipped from California. Partnered with Friends of the Library since 2010.
Item Price
$67.57
$3.99 shipping to USA
Types and Programming Languages by Benjamin C. Pierce
Stock Photo: Cover May Be Different

Types and Programming Languages by Benjamin C. Pierce

by Benjamin C. Pierce

  • Used
Condition
Used
ISBN 13
9780262162098
ISBN 10
0262162091
Quantity Available
2
Seller
Franklin, Tennessee, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$76.95
$3.95 shipping to USA

Show Details

Description:
This book is in very good condition and ready for quick shipment
Item Price
$76.95
$3.95 shipping to USA
Types and Programming Languages

Types and Programming Languages

by Pierce, Benjamin C. (Professor, University of Pennsylvania)

  • New
  • Hardcover
Condition
New
Binding
Hardcover
ISBN 13
9780262162098
ISBN 10
0262162091
Quantity Available
3
Seller
Uxbridge, Greater London, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$107.13
$10.32 shipping to USA

Show Details

Description:
Hardback. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; A comprehensive introduction to type systems and programming languages.
Item Price
$107.13
$10.32 shipping to USA
Types and Programming Languages
Stock Photo: Cover May Be Different

Types and Programming Languages

by Benjamin C Pierce Benjamin C. Pierce

  • New
  • Hardcover
Condition
New
Binding
Hardcover
ISBN 13
9780262162098
ISBN 10
0262162091
Quantity Available
1
Seller
Woodside, New York, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$112.88
$3.99 shipping to USA

Show Details

Description:
MIT Press , pp. xxi + 623 . Hardback. New.
Item Price
$112.88
$3.99 shipping to USA
Types and Programming Languages

Types and Programming Languages

by Benjamin C. Pierce

  • New
  • Hardcover
Condition
New
Binding
Hardcover
ISBN 13
9780262162098
ISBN 10
0262162091
Quantity Available
2
Seller
Exeter, Devon, United Kingdom
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
$149.62
$12.91 shipping to USA

Show Details

Description:
Mit Pr, 2002. Hardcover. New. 1st edition. 645 pages. 9.00x8.00x1.50 inches.
Item Price
$149.62
$12.91 shipping to USA
Types and Programming Languages (The MIT Press)
Stock Photo: Cover May Be Different

Types and Programming Languages (The MIT Press)

by Pierce, Benjamin C

  • New
  • Hardcover
Condition
New
Binding
Hardcover
ISBN 13
9780262162098
ISBN 10
0262162091
Quantity Available
1
Seller
San Diego, California, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$119.86
$5.45 shipping to USA

Show Details

Description:
MIT Press, 2002-02-01. Hardcover. New. New. In shrink wrap. Looks like an interesting title!
Item Price
$119.86
$5.45 shipping to USA
Types and Programming Languages (The MIT Press)
Stock Photo: Cover May Be Different

Types and Programming Languages (The MIT Press)

by Pierce, Benjamin C

  • Used
  • good
  • Hardcover
Condition
Used - Good
Binding
Hardcover
ISBN 13
9780262162098
ISBN 10
0262162091
Quantity Available
2
Seller
Franklin Lakes, New Jersey, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$134.40
$3.90 shipping to USA

Show Details

Description:
The MIT Press, 2002-02-01. Hardcover. Good. US Edition Textbook, May Have Highlights, Notes and/or Underlining, BOOK ONLY-NO ACCESS CODE, NO CD, Ships with Emailed Tracking from USA
Item Price
$134.40
$3.90 shipping to USA
Types and Programming Languages (The MIT Press)
Stock Photo: Cover May Be Different

Types and Programming Languages (The MIT Press)

by Pierce, Benjamin C

  • New
Condition
New
ISBN 13
9780262162098
ISBN 10
0262162091
Quantity Available
5
Seller
Victoria, British Columbia, Canada
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$142.50
$14.99 shipping to USA

Show Details

Description:
The MIT Press. New. Special order direct from the distributor
Item Price
$142.50
$14.99 shipping to USA