> Topics: Types, Polymorphism
+(1 Nov) Lecture notes for Week7; Assignment6.
+
+> Topics: Monads
+
[[Upcoming topics]]
-[Advanced Lambda Calculus Topics](/advanced_lambda)
+[[Advanced Topics]]
-> Topics: Version 4 lists
+> Topics: Version 4 lists, Category Theory
##Scheme and OCaml##