assignment7 tweaks

[lambda.git] / week9.mdwn

diff --git a/week9.mdwn b/week9.mdwn
index 2d08b80..17e4a87 100644 (file)
--- 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".
 
 
 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))