FREE Delivery in the UK.
Usually dispatched within 2 to 4 weeks.
Dispatched from and sold by Amazon. Gift-wrap available.

Dispatch to:
To see addresses, please
Or
Please enter a valid UK postcode.
Or
+ £2.80 UK delivery
Used: Very Good | Details
Sold by momox co uk
Condition: Used: Very Good
Comment: From Europe's No.1 in used books & media articles.
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 all 2 images

Practical Foundations for Programming Languages Hardcover – 17 Dec 2012

5.0 out of 5 stars 1 customer review

See all 5 formats and editions Hide other formats and editions
Amazon Price
New from Used from
Kindle Edition
"Please retry"
Hardcover
"Please retry"
£54.99
£47.79 £45.26
Note: This item is eligible for click and collect. Details
Pick up your parcel at a time and place that suits you.
  • Choose from over 13,000 locations across the UK
  • Prime members get unlimited deliveries at no additional cost
How to order to an Amazon Pickup Location?
  1. Find your preferred location and add it to your address book
  2. Dispatch to this address when you check out
Learn more

There is a newer edition of this item:

£54.99 FREE Delivery in the UK. Usually dispatched within 2 to 4 weeks. Dispatched from and sold by Amazon. Gift-wrap available.
click to open popover

Special offers and product promotions


Frequently bought together

  • Practical Foundations for Programming Languages
  • +
  • Types and Programming Languages
  • +
  • Advanced Topics in Types and Programming Languages
Total price: £170.54
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: 487 pages
  • Publisher: Cambridge University Press (17 Dec. 2012)
  • Language: English
  • ISBN-10: 1107029570
  • ISBN-13: 978-1107029576
  • Product Dimensions: 17.7 x 3 x 25.3 cm
  • Average Customer Review: 5.0 out of 5 stars  See all reviews (1 customer review)
  • Amazon Bestsellers Rank: 769,506 in Books (See Top 100 in Books)
  • If you are a seller for this product, would you like to suggest updates through seller support?

  • See Complete Table of Contents

Product description

Review

"Harper's book provides a comprehensive treatment of the foundations of computation. He touches on a surprising range of concepts that arise in language design: from simple types to polymorphism to dependent types to modules; from strict to lazy to parallel computation; and from proof techniques for reasoning about extensional behavior to practical, compositional cost models in the presence of garbage collection. More importantly, throughout the book he uses types and the principles of type theory to organize the material and help us discover the orthogonal, composable abstractions that arise naturally not only in the design of programming languages but also in logics and mathematics. This approach helps uncover the fundamental structure lurking inside programming languages of today, and provides a principled approach to the designs for tomorrow."
Greg Morrisett, School of Engineering and Applied Sciences, Harvard University

"Starting with a mathematically simple framework and organizing principles that give type systems a central role, Bob Harper's magnum opus reveals the theory of programming languages as a coherent scientific subject with both breadth and elegance. His enormous experience, pithy views, and great good taste are evident throughout a book that deserves to become a classic."
Andrew Pitts, Computer Laboratory, University of Cambridge

"This book offers an excellent introduction to a wide range of programming language concepts. They are all uniformly and carefully explained, using techniques that are very useful in practice for both analysis and implementation of programming languages. The book is authored by one of the most prominent researchers in type theory for programming languages. The presentation is very effective and based on the author's years of experience teaching the material."
Lars Birkedal, Professor, IT University of Copenhagen

Book Description

This innovative book offers fresh perspectives on the fundamentals of programming languages through type theory. Whereas most textbooks on this subject emphasize taxonomy, Harper emphasizes genetics, examining the building blocks from which all programming languages are constructed. The result is an introduction to programming theory that is accessible and practical.

See all Product description

What other items do customers buy after viewing this item?


Customer reviews

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

Top customer reviews

on 10 November 2013
Format: Hardcover|Verified Purchase
0Comment|Was this review helpful to you?YesNoReport abuse

Most helpful customer reviews on Amazon.com

Amazon.com: 4.6 out of 5 stars 6 reviews
15 people found this helpful.
5.0 out of 5 starsComprehensive coverage of the semantics of a variety of language features
on 15 April 2013 - Published on Amazon.com
Format: Hardcover|Vine Customer Review of Free Product( What's this? )
9 people found this helpful.
5.0 out of 5 starsthis book would be a good guide for someone doing research into what features to put in a programming language
on 23 May 2013 - Published on Amazon.com
Format: Hardcover|Vine Customer Review of Free Product( What's this? )
4 people found this helpful.
5.0 out of 5 starsA good technical textbook
on 22 February 2013 - Published on Amazon.com
Format: Hardcover|Vine Customer Review of Free Product( What's this? )
11 people found this helpful.
5.0 out of 5 starsA formalization of the theory of programming languages
on 5 February 2013 - Published on Amazon.com
Format: Hardcover|Vine Customer Review of Free Product( What's this? )
2 people found this helpful.
5.0 out of 5 starsInteresting, Fairly Advanced Treatise on Programming Language!
on 17 May 2013 - Published on Amazon.com
Format: Hardcover|Vine Customer Review of Free Product( What's this? )

Look for similar items by category