Mon, Sep 21

Topic
Types
Course Schedule

In class

  • What is a type? Competing definitions

  • Static analysis & static type checking

  • Dynamic vs static code examples

  • Types on the AST

  • Type checking as proof

  • Completeness & soundness of type systems

Newly assigned

In progress