• RRP: £54.95
  • You Save: £3.25 (6%)
FREE Delivery in the UK.
Only 5 left in stock (more on the way).
Dispatched from and sold by Amazon. Gift-wrap available.
Types and Programming Lan... has been added to your Basket
+ £2.80 UK delivery
Used: Very Good | Details
Sold by owlsmart_usa
Condition: Used: Very Good
Comment: Pages are clean and free of writing and or highlighting. Cover edges show some wear from reading and storage.
Have one to sell?
Flip to back Flip to front
Listen Playing... Paused   You're listening to a sample of the Audible audio edition.
Learn more
See this image

Types and Programming Languages Hardcover – 5 Feb 2002

4.6 out of 5 stars 5 customer reviews

See all 3 formats and editions Hide other formats and editions
Amazon Price
New from Used from
Kindle Edition
"Please retry"
Hardcover
"Please retry"
£51.70
£45.78 £45.72

Man Booker International Prize Shortlist 2017
Take a look at our selection of Man Booker International Prize 2017 shortlisted books. Learn more
£51.70 FREE Delivery in the UK. Only 5 left in stock (more on the way). Dispatched from and sold by Amazon. Gift-wrap available.
click to open popover

Frequently bought together

  • Types and Programming Languages
  • +
  • Advanced Topics in Types and Programming Languages
  • +
  • Practical Foundations for Programming Languages
Total price: £158.32
Buy the selected items together

Enter your mobile number or email address below and we'll send you a link to download the free Kindle App. Then you can start reading Kindle books on your smartphone, tablet, or computer - no Kindle device required.

  • Apple
  • Android
  • Windows Phone

To get the free app, enter your mobile phone number.


Product details

  • Hardcover: 648 pages
  • Publisher: MIT Press (5 Feb. 2002)
  • Language: English
  • ISBN-10: 0262162091
  • ISBN-13: 978-0262162098
  • Product Dimensions: 20.3 x 2.7 x 22.9 cm
  • Average Customer Review: 4.6 out of 5 stars  See all reviews (5 customer reviews)
  • Amazon Bestsellers Rank: 159,793 in Books (See Top 100 in Books)
  • If you are a seller for this product, would you like to suggest updates through seller support?

Product description

Review

--Robin Milner, Computer Laboratory, University of Cambridge

" Types are the leaven of computer programming; they make it digestible. This excellent book uses types to navigate the rich variety of programming languages, bringing a new kind of unity to their usage, theory, and implementation. Its author writes with the authority of experience in all three of these aspects." --Robin Milner, Computer Laboratory, University of Cambridge

& quot; Types are the leaven of computer programming; they make it digestible. This excellent book uses types to navigate the rich variety of programming languages, bringing a new kind of unity to their usage, theory, and implementation. Its author writes with the authority of experience in all three of these aspects.& quot; --Robin Milner, Computer Laboratory, University of Cambridge

"Types are the leaven of computer programming; they make it digestible. This excellent book uses types to navigate the rich variety of programming languages, bringing a new kind of unity to their usage, theory, and implementation. Its author writes with the authority of experience in all three of these aspects."--Robin Milner, Computer Laboratory, University of Cambridge

About the Author

Benjamin C. Pierce is Professor of Computer and Information Science at the University of Pennsylvania.


Customer Reviews

4.6 out of 5 stars
5 star
3
4 star
2
3 star
0
2 star
0
1 star
0
See all 5 customer reviews
Share your thoughts with other customers

Top Customer Reviews

Format: Hardcover
I have owned a copy of this book and its companion, Advanced Topics in Types and Programming Languages, for about four or five years.

This book, Types and Programming Languages, starts by explaining the untyped lambda calculus and builds up from there. I believe that anyone with an interest and a degree level education would find the subject matter easy to follow.

This book has been really useful in helping me to learn type theory. While internet sources (e.g., Wikipedia) can provide a flavour of the topic, a well structured book makes the topic much easier to understand. Having read & understood this book I can now understand the more advanced topics that can be found on specialist websites.
Comment 5 people found this helpful. Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback.
Sorry, we failed to record your vote. Please try again
Report abuse
Format: Hardcover Verified Purchase
This is the standard text on practical type theory for programming languages. It deserves its place. Reading it is not easy, but then again this is a text for graduate students.
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback.
Sorry, we failed to record your vote. Please try again
Report abuse
Format: Hardcover Verified Purchase
If you are into programming languages, I am recommending the book. Explains stuff well and is relatively easy to read (for a textbook).
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback.
Sorry, we failed to record your vote. Please try again
Report abuse
Format: Hardcover Verified Purchase
Very good introduction to the topic, with a lot of exercises and solutions.
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback.
Sorry, we failed to record your vote. Please try again
Report abuse
Format: Hardcover Verified Purchase
Fast delivery. Great book, thanks.
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback.
Sorry, we failed to record your vote. Please try again
Report abuse