+ * Types in OCaml and Haskell (will be posted someday)
+ * see also Monads links, below
+
+* Monads
+ * [[Introducing Monads|topics/week7_introducing_monads]]
+ * [[Safe division with monads|topics/week8_safe_division_with_monads]]
+ * [[Reader Monad|/topics/week8_reader_monad]]
+ * [[Ramble on Monads and Modules|topics/week8_monads_and_modules]]
+ * [[Using the OCaml Monad library|/topics/week9_using_the_monad_library]]
+ * [[Programming with mutable state|/topics/week9_mutable_state]]
+ * [[A State Monad Tutorial|/topics/week9_state_monad_tutorial]]
+ * [[Using multiple monads together|/topics/week9_monad_transformers]]
+ * [[Groenendijk, Stokhof, and Veltman|/topics/week10_gsv]]
+
+
+* Continuations
+ * [[Abortable list traversals|/topics/week12_abortable_traversals]]
+ * [[List and tree zippers|/topics/week12_list_and_tree_zippers]]
+ * [[From list zippers to continuations|topics/week13_from_list_zippers_to_continuations]]
+ * [[Coroutines, exceptions, and aborts|topics/week13_coroutines_exceptions_and_aborts]]
+ * [[Let/cc and reset/shift|topics/week13_native_continuation_operators]]
+ * CPS transforms
+