---
product_id: 488268638
title: "Programming Languages: Build, Prove, and Compare"
price: "₩169284"
currency: KRW
in_stock: false
reviews_count: 2
url: https://www.desertcart.kr/products/488268638-programming-languages-build-prove-and-compare
store_origin: KR
region: South Korea
---

# Programming Languages: Build, Prove, and Compare

**Price:** ₩169284
**Availability:** ❌ Out of Stock

## Quick Answers

- **What is this?** Programming Languages: Build, Prove, and Compare
- **How much does it cost?** ₩169284 with free shipping
- **Is it available?** Currently out of stock
- **Where can I buy it?** [www.desertcart.kr](https://www.desertcart.kr/products/488268638-programming-languages-build-prove-and-compare)

## Best For

- Customers looking for quality international products

## Why This Product

- Free international shipping included
- Worldwide delivery with tracking
- 15-day hassle-free returns

## Description

Programming Languages: Build, Prove, and Compare: 9781107180185: Computer Science Books @ desertcart.com

Review: The only PL book you need - If you want to learn about how to design and implement a programming language, this is the book to read. While Pierce, Winskel, and Appel all have produced excellent material (which I have proudly on my shelf), and you can certainly learn a great deal from them, Build, Prove, and Compare is a one-stop, soup-to-nuts guide that can take you from knowing almost nothing about how languages are made, to implementing your own with features as powerful as any existing language on the market. The chapters build on each other in a natural progression (there's even a nifty dependency chart in Figure 1.1), starting from a simple imperative language and progressing to functional and object oriented, and adding type checking, type inference, and more. Readers will both be shown the code used to write their interpreters as well as the math that can be used to demonstrate it is correct. Notation is well and thoroughly explained. Exercises are challenging but always instructive. If you've read this for into this review, please buy the book—if you try to learn PL a different way, you do yourself a disservice.
Review: An important book - Norman's Ramsey is a wonderful teacher who puts together courses that are deep and important. This book has been used for years as the basis for the programming languages course at Tufts, and many students tell us it is one of their most valuable experiences in CS. Very highly recommended!

## Technical Specifications

| Specification | Value |
|---------------|-------|
| Best Sellers Rank | #1,059,607 in Books ( See Top 100 in Books ) #917 in Computer Programming Languages #1,630 in Programming Languages (Books) |
| Customer Reviews | 5.0 out of 5 stars 11 Reviews |

## Images

![Programming Languages: Build, Prove, and Compare - Image 1](https://m.media-amazon.com/images/I/61slMd95sLL.jpg)

## Customer Reviews

### ⭐⭐⭐⭐⭐ The only PL book you need
*by N***G on February 3, 2026*

If you want to learn about how to design and implement a programming language, this is the book to read. While Pierce, Winskel, and Appel all have produced excellent material (which I have proudly on my shelf), and you can certainly learn a great deal from them, Build, Prove, and Compare is a one-stop, soup-to-nuts guide that can take you from knowing almost nothing about how languages are made, to implementing your own with features as powerful as any existing language on the market. The chapters build on each other in a natural progression (there's even a nifty dependency chart in Figure 1.1), starting from a simple imperative language and progressing to functional and object oriented, and adding type checking, type inference, and more. Readers will both be shown the code used to write their interpreters as well as the math that can be used to demonstrate it is correct. Notation is well and thoroughly explained. Exercises are challenging but always instructive. If you've read this for into this review, please buy the book—if you try to learn PL a different way, you do yourself a disservice.

### ⭐⭐⭐⭐⭐ An important book
*by N***M on January 2, 2025*

Norman's Ramsey is a wonderful teacher who puts together courses that are deep and important. This book has been used for years as the basis for the programming languages course at Tufts, and many students tell us it is one of their most valuable experiences in CS. Very highly recommended!

## Frequently Bought Together

- Programming Languages: Build, Prove, and Compare
- Essentials of Compilation: An Incremental Approach in Racket

---

## Why Shop on Desertcart?

- 🛒 **Trusted by 1.3+ Million Shoppers** — Serving international shoppers since 2016
- 🌍 **Shop Globally** — Access 737+ million products across 21 categories
- 💰 **No Hidden Fees** — All customs, duties, and taxes included in the price
- 🔄 **15-Day Free Returns** — Hassle-free returns (30 days for PRO members)
- 🔒 **Secure Payments** — Trusted payment options with buyer protection
- ⭐ **TrustPilot Rated 4.5/5** — Based on 8,000+ happy customer reviews

**Shop now:** [https://www.desertcart.kr/products/488268638-programming-languages-build-prove-and-compare](https://www.desertcart.kr/products/488268638-programming-languages-build-prove-and-compare)

---

*Product available on Desertcart South Korea*
*Store origin: KR*
*Last updated: 2026-04-25*