Compare prices and save on cheap textbooks at CheapestTextbooks.com

Practical Foundations for Programming Languages

Practical Foundations for Programming Languages
Hardcover
Edition:
2
Author:
Robert Harper
Publisher:
Cambridge University Press
Release Date:
2016
ISBN-10:
1107150302
ISBN-13:
9781107150300

Buy vs Rent: We recommend you Rent

This compares the total cost of owning the book (cheapest buy price minus the best sell-back offer today) with the cheapest rental.

Buy
Price:
$69.12
Condition:
Used
Sell Price:
None
Final Cost:
$69.12

VS

Rent
Price:
$61.34
Duration:
60 Days
Sell Price:
None
Final Cost:
$61.34

Disclaimer: These calculations are based on the current advertised price. Your results will vary depending on several factors, including the condition of the book and the advertised price at the time of sale.

Cheapest Price Summary

Used: $69.12

eCampus
(Marketplace)
Price:
$65.15
Shipping:
$3.97
Total:
$69.12
Buy Nowclick here!

New: $86.79

eCampus
Price:
$86.79
Shipping:
$0.00
Total:
$86.79
Buy Nowclick here!

Short Term Rental (60 days): $61.34

eCampus
Price:
$57.37
Shipping:
$3.97
Total:
$61.34
Rent Nowclick here!

eBook (180 days): $89.28

eCampus
Price:
$89.28
Shipping:
$0.00
Total:
$89.28
Rent Nowclick here!

Prices checked Oct 19, 2026, 8:24 PM ET. Totals include shipping where the store lists it.

Also check: Knetbooks (rentals) · BiggerBooks · VitalSource (eBooks) · AbeBooks (marketplace) · SellBackBooks (sell back)

About Practical Foundations for Programming Languages

This text develops a comprehensive theory of programming languages based on type systems and structural operational semantics. Language concepts are precisely defined by their static and dynamic semantics, presenting the essential tools both intuitively and rigorously while relying on only elementary mathematics. These tools are used to analyze and prove properties of languages and provide the framework for combining and comparing language features. The broad range of concepts includes fundamental data types such as sums and products, polymorphic and abstract types, dynamic typing, dynamic dispatch, subtyping and refinement types, symbols and dynamic classification, parallelism and cost…

How CheapestTextbooks.com compares prices

When you open this page we ask eCampus, Knetbooks, BiggerBooks and VitalSource for their current prices on ISBN 9781107150300 and sort every offer by its total with shipping. Rental rows show the term (semester, quarter or short term) and that term goes with you to the store's cart, and eBook rows link straight to the 180-day or no-expiry option you picked. Prices are rechecked at least every 30 minutes, so confirm the total at checkout.

More Programming Languages textbooks

Browse: Programming Languages textbooks · Foreign Languages textbooks · Foreign Languages textbooks · All textbook subjects