Last updated 16 July 2024: Online ordering is currently unavailable due to technical issues. We apologise for any delays responding to customers while we resolve this. Alternative purchasing options are available . For further updates please visit our website: https://www.cambridge.org/news-and-insights/technical-incident
Skip to main content Accessibility help 
Internet Explorer 11 is being discontinued by Microsoft in August 2021.
If you have difficulties viewing the site on Internet Explorer 11 we
recommend using a different browser such as Microsoft Edge, Google
Chrome, Apple Safari or Mozilla Firefox.
Resources
Download all unlocked resources
zip, 312.3 KB
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.
These resources are currently locked and are provided as teaching aids to validated instructors only. Access to a digital or physical textbook does not automatically enable access to the instructor resources.
Log in to request access to these resources.
Instructor Resources
Please navigate the resources menu to locate the resources you need for
this textbook.