X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=week9.mdwn;h=17e4a8797d9aa1a3325b035f2941161d37523aba;hp=2d08b801d8b9e9d8501cbb480c2844cfc5ba9e12;hb=f212354152a53c6a3ab018c7874570c600f463b9;hpb=02ef3d4dfa3eed39f90326c37db8b23a6c3b07e7

diff --git a/week9.mdwn b/week9.mdwn
index 2d08b801..17e4a879 100644
--- a/week9.mdwn
+++ b/week9.mdwn
@@ -15,3 +15,12 @@ loops instead of recursion
 before, order never mattered except to avoid divergence. Also, we've give up "referential transparency".
 
 
+## Side-effects and mutation ##
+
+1.	What difference imperativity makes
+2.	Side-effects in a purely functional setting, via monads
+3.	[Phil/ling application]Semantics for DPL, using state monad
+	Groenendijk, Stokhof, and Veltman, "Coreference and modality"
+	in Shalom Lappin, ed. Handbook of Contemporary Semantic Theory (Blackwell, 1996)
+4.	Passing by reference
+5.	[Phil/ling application] Fine and Pryor on "coordinated contents" (see, e.g., [Hyper-Evaluativity](http://www.jimpryor.net/research/papers/Hyper-Evaluativity.txt))