Typed Class Videos for CS 3520/6520

• Typed Class 1 — introduction (2:16)

  Introduction and goals of type checking for classes.

• Typed Class 2 — examples (5:06)

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

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

  Typechecking of classes and methods. See typed_class.rhm, which builds on class.rhm and inherit.rkt.

• Typed Class 4 — expressions (5:16)

  Typechecking of expressions. Continues typed_class.rhm.

• Typed Class 5 — subtypes (3:04)

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

• Typed Class 6 — interp (1:19)

  The interpreter for typed classes simply strips away the types and uses the untyped-Moe interpreter. See also typed_parse.rhm, which builds on inherit_parse.rhm.