Programming Languages Build, Prove, and Compare

Computer code is available for students from the author's website at https://www.build-prove-compare.net/. The website also provides a “playground” that allows you to experiment with the interpreters directly in your browser, without having to download anything. And it holds the book’s PDF Supplement, which includes additional material on multiprecision arithmetic, extensions to algebraic data types, logic programming, and longer programming examples. The Supplement also describes all the code: both the reusable modules and the interpreter-specific modules.

The book can be accompanied by additional code that contains solutions to many of the Exercises. This code is intended only for instructors, and can be requested from the author's website at https://www.build-prove-compare.net/. Alternatively, instructors can request it by writing to nr@build-prove-compare.net.