X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=upcoming_topics.mdwn;h=b92a228fa602b1aab2a2bed93869890fef16e466;hp=2faa4ed1b5b1256ab9e63d3fc86b7eab187a366a;hb=fce9b4616d10e89c6021f479c27d0d40c25a9870;hpb=876ece1c1c5c426553f26d19f8962543ad2f366d;ds=sidebyside

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