Typed Recursion Videos for CS 3520/6520

• Typed Recursion 1 — letrec (4:11)

  Type checking recursive functions in Curly. See typed-letrec.rkt.

• Typed Recursion 2 — variants (6:17)

  Type checking datatypes with variants.

• Typed Recursion 3 — interp examples (3:22)

  Examples for interp with let-type and type-case in Curly.

• Typed Recursion 4 — interp (5:08)

  Implementing interp with let-type and type-case. See type-case.rkt.

• Typed Recursion 5 — typecheck examples (3:39)

  Examples for typecheck with let-type and type-case.

• Typed Recursion 6 — typed recursion (2:26)

  Type checking rules for let-type and type-case.

• Typed Recursion 7 — typecheck (6:28)

  Implementing typecheck with let-type and type-case. See type-case.rkt, again.

• Typed Recursion 8 — soundness (4:06)

  Type soundness and correcting problems with our types rules so far. The repairs described here are included in typed-letrec.rkt and type-case.rkt.