How languages are designed and how they are made to run. The theory of syntax, semantics and type systems on one side; the machinery of lexing, parsing, analysis and code generation that turns source into a running program on the other.
This subject course follows the topic vertically, across the years it spans. The lessons are still being written — each is shown as a placeholder.