Typed Class Videos for CS 3520/6520

• Typed Class 1 — introduction (2:27)

  Introduction and goals of type checking for classes.

• Typed Class 2 — examples (7:17)

  Examples of class definitions and considering whether typechecking should accept or reject the programs.

• Typed Class 3 — classes and methods (6:31)

  Typechecking of classes and methods. See typed-class.rkt, which builds on class.rkt and inherit.rkt.

• Typed Class 4 — expressions (6:33)

  Typechecking of expressions. Continues typed-class.rkt.

• Typed Class 5 — subtypes (3:19)

  About the is-subtype? function that is part of typed-class.rkt.

• Typed Class 6 — interp (1:09)

  The interpreter for typed classes simply strips away the types and uses the untyped-Curly interpreter. See also typed-parse.rkt, which builds on inherit-parse.rkt.