CS136b Course Overview

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.

The links at the left allow you to navigate the site. For current homework and laboratory assignments, visit the Assignments page. During the term, we'll be posting examples of excellent student work on the Pearls page. If you have a question, you should first look at the FAQ; if your question is not answered there, you can ask the instructor or one of the TAs listed on the People page. You should also check the Mailing List frequently for course information and announcements.