Typed Class Videos for CS 5510/6510

• Typed Class 1 — introduction (1:46)

  Introduction and goals of type checking for classes.

• Typed Class 2 — examples (5:39)

  Examples of class definitions and typechecking.

• Typed Class 3 — classes and methods (4:35)

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

• Typed Class 4 — expressions (6:42)

  Typechecking of expressions. Continues typed-class.rkt.

• Typed Class 5 — interp & summary (1:21)

  The interpreter and a summary of the language tower. See also typed-parse.rkt, which builds on inherit-parse.rkt.