• RRP: £62.95
  • You Save: £20.59 (33%)
FREE Delivery in the UK.
Only 1 left in stock (more on the way).
Dispatched from and sold by Amazon. Gift-wrap available.
Advanced Topics in Types ... has been added to your Basket
+ £2.80 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

Advanced Topics in Types and Programming Languages Hardcover – 15 Feb 2005


See all formats and editions Hide other formats and editions
Amazon Price
New from Used from
Hardcover
"Please retry"
£42.36
£39.55 £37.68
Promotion Message 10% Bulk Discount 1 Promotion(s)

£42.36 FREE Delivery in the UK. Only 1 left in stock (more on the way). Dispatched from and sold by Amazon. Gift-wrap available.
click to open popover

Special Offers and Product Promotions

  • Save 10% on Books for Schools offered by Amazon.co.uk when you purchase 10 or more of the same book. Here's how (terms and conditions apply) Enter code SCHOOLS2016 at checkout. Here's how (terms and conditions apply)

Frequently Bought Together

  • Advanced Topics in Types and Programming Languages
  • +
  • Types and Programming Languages
  • +
  • Practical Foundations for Programming Languages
Total price: £142.44
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

Product Description

About the Author

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


Customer Reviews

There are no customer reviews yet on Amazon.co.uk.
5 star
4 star
3 star
2 star
1 star

Most Helpful Customer Reviews on Amazon.com (beta)

Amazon.com: 5.0 out of 5 stars 2 reviews
10 of 11 people found the following review helpful
5.0 out of 5 stars Mandatory text for researchers in programming languages 7 Mar. 2010
By Lars Bergstrom - Published on Amazon.com
Format: Hardcover Verified Purchase
This book, like its predecessor, TAPL, is a mandatory text for anyone doing research in programming languages. The chapters are each written by key researchers associated with the topics presented. As many of these topics do not have introductory treatment in the research literature or any other books, these chapters are often the best place to learn about these topics --- all of which appear frequently in modern PL research.
1 of 3 people found the following review helpful
5.0 out of 5 stars ATAPL is a must read for all PL enthusiasts 15 Oct. 2013
By Zac Slade - Published on Amazon.com
Format: Hardcover Verified Purchase
If you want to get into the dependently typed camp and understand its power then you need this book to help you on the path.
Were these reviews helpful? Let us know


Feedback