CS 641 units -*- Outline -*- * introduction what the course is about * Semantics ** operational-semantics ** lambda-calculus ** untyped-calculi * First-Order Types ** first-order-calculi ** subtyping ** first-order-imperative-calculi * Second-Order Types ** second-order-calculi * summary-review