Programming Languages: Build, Prove, and Compare

Notes and links and follow-up material from the book.

Website | Play with the bridge languages online | Online Supplement (PDF) | Student source repo (Instructor repo available on request)

Tags: langdev   reading  

Last modified 23 August 2025