Mon, Sep 21

Topic
Types
Course Schedule

In class

  • What is a type?

  • static analysis & static type checking

  • Dyn vs static examples

  • types on AST

  • type checking as proof

  • completeness & soundness of type systems

Newly assigned

  • Reading
    Programmer errors into type errors
    (due Wed, Sep 23)

In progress

  • Homework
    wordy
    (due Wed, Sep 23)