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.
Abridged preview edition, with corrections.

Answers and Exercises

Errors and Commentary

Course Materials

Last modified: Mon Apr 25 21:02:30 EDT 2016