* [[Kaplan on Plexy|topics/week6_plexy]]
* [[Groenendijk, Stokhof, and Veltman|/topics/week10_gsv]]
+* Mutation and hyper-synonymy (no notes)
+
* Functional Programming
* [[Ramble on Monads and Modules|topics/week8_monads_and_modules]]
* [[Installing and Using the Juli8 Libraries|/juli8]]
* [[Programming with mutable state|/topics/week9_mutable_state]]
+ * Mutation and hyper-synonymy (no notes)
* Order, "static versus dynamic"
* [[Unit and its usefulness|topics/week3 unit]]
* Combinatory evaluator ([[for home|topics/week7_combinatory_evaluator]])
* [[Programming with mutable state|/topics/week9_mutable_state]]
+ * see also Continuation links, below
+
* The Untyped Lambda Calculus
* [[Arithmetic with Church numbers|topics/week3_church_arithmetic]]
* [[How to get the `tail` of v1 lists?|topics/week3 lists#tails]]
* [[Some other list encodings|topics/week3 lists#other-lists]]
+ * [[Abortable list traversals|/topics/week12_abortable_traversals]]
* [[Reduction Strategies and Normal Forms|topics/week3_evaluation_order]]
* [[Fixed point combinators|topics/week4_fixed_point_combinators]]
* [[More about fixed point combinators|topics/week4_more_about_fixed_point_combinators]]
* [[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
+
+
+
## Topics by week ##
Week 1:
Week 10:
-* Groenendijk, Stokhof, and Veltman, "[[Coreference and Modality|/readings/coreference-and-modality.pdf]]" (1996)
-* [[Notes on GSV|/topics/week10_gsv]], with links to code
+* Groenendijk, Stokhof, and Veltman, "[[Coreference and Modality|/readings/coreference-and-modality.pdf]]" (1996)
+* [[Notes on GSV|/topics/week10_gsv]], with links to code
+
+
+Week 12:
+
+* Mutation and hyper-synonymy (no notes)
+* [[Abortable list traversals|/topics/week12_abortable_traversals]]
+* [[List and tree zippers|/topics/week12_list_and_tree_zippers]]
+* [[Homework for week 12|exercises/assignment12]]
+Week 13:
+* [[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