* [[What is computation?|topics/week3_what_is_computation]]
* [[Kaplan on Plexy|topics/week6_plexy]]
+* [[Groenendijk, Stokhof, and Veltman|/topics/week10_gsv]]
* Functional Programming
* [[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]]
## Topics by week ##
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
+
+
(**Week 9**) Thursday April 2
-> Updated notes on [[Installing and Using the Juli8 Libraries|/juli8]] on Sun 5 April. Continued to fix some bugs and improve the monad transformers. Latest version posted Monday evening, 13 April: [[v1.6|/code/Juli8-v1.6.tgz]]. This version is needed to run the GSV.ml code.
+> Updated notes on [[Installing and Using the Juli8 Libraries|/juli8]] on Sun 5 April. Continued to fix some bugs and improve the monad transformers. Latest version posted Monday evening, 13 April: [[v1.6|/code/Juli8-v1.6.tgz]]. This version is needed to run [[the gsv2.ml code|/code/gsv2.ml]].
<!--
The major change is to make the Monad libraries easier to use. Now you can just use `Monad.Reader(struct type env = ... end)`; you don't need to furthermore ask for the `M` submodule of that generated module. Relatedly, the `List` and `Monad.List` modules are now different; the former has lots of list-related functions and the latter only the monadic interface. Similarly for `Option` and `Monad.Option`.
(**Week 10**) Thursday April 9
-> Topics: We will be discussing the reading posted above.
+> Topics: We will be discussing the reading posted above. Here are [[notes and links to code|/topics/week10_gsv]].