From db45e567267864f4b0a2bbc80e658e7b9c91fd2e Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Thu, 18 Nov 2010 12:31:58 -0500 Subject: [PATCH] assignment7 tweaks Signed-off-by: Jim Pryor --- hints/assignment_7_hint_1.mdwn | 2 ++ hints/assignment_7_hint_2.mdwn | 1 + upcoming_topics.mdwn | 9 --------- week9.mdwn | 9 +++++++++ 4 files changed, 12 insertions(+), 9 deletions(-) create mode 100644 hints/assignment_7_hint_2.mdwn diff --git a/hints/assignment_7_hint_1.mdwn b/hints/assignment_7_hint_1.mdwn index 9c22165d..1c91401b 100644 --- a/hints/assignment_7_hint_1.mdwn +++ b/hints/assignment_7_hint_1.mdwn @@ -13,3 +13,5 @@ * What does their &exists;x correspond to in the framework we've been talking about? +* [More hints](/hints/assignment_7_hint_2). + diff --git a/hints/assignment_7_hint_2.mdwn b/hints/assignment_7_hint_2.mdwn new file mode 100644 index 00000000..8b137891 --- /dev/null +++ b/hints/assignment_7_hint_2.mdwn @@ -0,0 +1 @@ + diff --git a/upcoming_topics.mdwn b/upcoming_topics.mdwn index 2faa4ed1..b92a228f 100644 --- a/upcoming_topics.mdwn +++ b/upcoming_topics.mdwn @@ -1,14 +1,5 @@ This is very sketchy at this point, but it should give a sense of our intended scope. -## 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)) 14. Curry-Howard isomorphism between simply-typed lambda and intuitionistic propositional logic

15. The types of continuations; continuations as first-class values 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)) -- 2.11.0