• RRP: £54.95
  • You Save: £2.75 (5%)
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

Dispatch to:
To see addresses, please
Or
Please enter a valid UK postcode.
Or
+ £2.79 UK delivery
Used: Very Good | Details
Condition: Used: Very Good
Comment: Ships from the UK. Former Library books. Great condition for a used book! Minimal wear. 100% Money Back Guarantee. Your purchase also supports literacy charities.
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 7 formats and editions Hide other formats and editions
Amazon Price
New from Used from
Kindle Edition
"Please retry"
Hardcover
"Please retry"
£52.20
£45.74 £45.74
£52.20 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
  • +
  • Type Theory and Formal Proof: An Introduction
Total price: £162.85
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 5 customer reviews
  • Amazon Bestsellers Rank: 374,468 in Books (See Top 100 in Books)
  • Would you like to tell us about a lower price?
    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
Share your thoughts with other customers
See all 5 customer reviews

Top customer reviews

on 16 August 2011
Format: Hardcover
0Comment| 5 people found this helpful. Was this review helpful to you?YesNoReport abuse
on 15 October 2014
Format: Hardcover|Verified Purchase
0Comment|Was this review helpful to you?YesNoReport abuse
on 6 September 2015
Format: Hardcover|Verified Purchase
0Comment|Was this review helpful to you?YesNoReport abuse
on 3 May 2016
Format: Hardcover|Verified Purchase
0Comment|Was this review helpful to you?YesNoReport abuse
on 16 February 2016
Format: Hardcover|Verified Purchase
0Comment|Was this review helpful to you?YesNoReport abuse

Would you like to see more reviews about this item?

Pages with related products. See and discover other items: programming language systems, information theory

Where's My Stuff?

Delivery and Returns

Need Help?