Lambda the Ultimate

Lecture Notes for Peter D. Mosses's course on action semantics and compiler generation. The first part of these very readable lecture notes reviews the denotational and operational Semantics that action semantics is based on. The second half of the course "reviews the history of Compiler Generation, and studies state-of-the-art compiler-generators based on Action Semantics." (From Course Description)