Overview

This course covers design and concepts in programming languages. We will be covering many different languages, and we will also learn how to analyze and compare these languages, including concepts like readability, simplicity, soundness, expressivity, orthogonality, writability, and reliability. We will also be covering semantics, including operational, denotational, and axiomatic.

Syllabus