+* [[Simply-typed lambda calculus|topics/week5 simply typed]]
+* [[System F|topics/week5 system F]]
+* Types in OCaml and Haskell (will be posted soon)
+* Practical advice for working with OCaml and/or Haskell (will be posted soon)
+* [[Homework for weeks 5 and 6|exercises/assignment5]]