Practical Foundations for Programming Languages (Second Edition) by Robert Harper.
Cambridge University Press, 2016.

Practical Foundations for Programming Languages (Second Edition)

From the Preface to the Second Edition:

My purpose in writing this book is to establish a comprehensive framework for formulating and analyzing a broad range of ideas in programming languages. If language design and programming methodology are to advance from a trade-craft to a rigorous discipline, it is essential that we first get the definitions right. Then, and only then, can there be meaningful analysis and consolidation of ideas. My hope is that I have helped to build such a foundation.

Answers and Exercises

Supplementary Materials

Errors and Commentary

Course Materials

Last modified: Mon Nov 1 22:02:30 EDT 2021