CS136b. 3-6-3
Computing systems, compilers, and languages
Prerequisites: CS136a or permission of the instructor.
This course covers design and concepts in typed 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.