The Principles of Programming Languages book by Mike Grant, Zachary Palmer, Scott Smith…
This is a dev post classified by Jev as Languages & runtimes (a free resource), kept by the Dev Radar because it carries real work, not commentary.
The Principles of Programming Languages book by Mike Grant, Zachary Palmer, Scott Smith (2002) is now in @ChapterPal's collection. This textbook provides an introduction to the foundational principles and formal semantic structures of programming languages, aimed at advanced undergraduate and graduate computer science students. Designed for readers with basic proficiency in OCaml, elementary knowledge of C, and general familiarity with object-oriented languages such as Java or C++, the text assumes mathematical maturity in discrete mathematics, formal logic, grammars, and algorithms. Rathe
Posted by BURKOV (59.1k followers) 4 days ago · 62 likes · 2.9k views · view the original post on X. Kept by the Dev Radar as Languages & runtimes.
More dev work like this
- JavaScript tip. — @xah_lee
- This Week in Effect #136 — @EffectTS_
- [Call for testing] trim-paths RFC 3127 — @rustaceans_rs
- No, the sandbox isn't dead, we just migrated from Vite to OJ 🦀 — @raphamorims
- Apple’s programming language is getting serious about Linux. — @twtayaan
- The Golden Spike, and Resurrecting the Vale(n) Programming Language — @rustaceans_rs
- Why TeX is Slow and How We Rebuilt It in Pure Rust — @xah_lee
- In the next ty release, we have full support for recursive implicit type aliases (at… — @charliermarsh
Every post is read and classified by Jev (TypeSafe): what it is, which market it belongs to, and whether the link is a real tool. 12.2k posts from 4.7k X accounts over the last 21 days, 1.4k tools, 12 markets. Collected every 5 minutes, fully re-ranked every hour — last update 2026-09-19 18:39 UTC. Full method.