upcoming_topics.mdwn

   1 This is very sketchy at this point, but it should give a sense of our intended scope.
   2
   3 ## Side-effects and mutation ##
   4
   5 1.      What difference imperativity makes
   6 2.      Side-effects in a purely functional setting, via monads
   7 3.      [Phil/ling application]Semantics for DPL, using state monad
   8         Groenendijk, Stokhof, and Veltman, "Coreference and modality"
   9         in Shalom Lappin, ed. Handbook of Contemporary Semantic Theory (Blackwell, 1996)
  10 4.      Passing by reference
  11 5.      [Phil/ling application] Fine and Pryor on "coordinated contents" (see, e.g., [Hyper-Evaluativity](http://www.jimpryor.net/research/papers/Hyper-Evaluativity.txt))
  12
  13 14.     Curry-Howard isomorphism between simply-typed lambda and intuitionistic propositional logic<p>
  14 15.     The types of continuations; continuations as first-class values
  15
  16 ## Continuations ##
  17
  18 0.      [Phil/ling application] Partee on whether NPs should be uniformly interpreted as generalized quantifiers, or instead "lifted" when necessary. Lifting = a CPS transform.
  19 1.      Using CPS to handle abortive computations (think: presupposition failure, expressives)
  20 2.      Using CPS to do other handy things, e.g., coroutines (cooperative threading)
  21 3.      Making evaluation order explicit with continuations
  22 4.      Delimited (quantifier scope) vs undelimited (expressives, presupposition) continuations
  23 5.      [Phil/ling application] [Barker/Shan on donkey anaphora](http://dx.doi.org/10.3765/sp.1.1)
  24 6.      The continuation monad
  25
  26 ## Preemptively parallel computing and linear logic ##
  27
  28 1.      Basics of parallel programming: semaphores/mutexes
  29 2.      Contrasting "preemptive" parallelism to "cooperative" parallelism (coroutines, above)
  30 3.      Linear logic, "logical resource management"
  31 4.      [Phil/ling application] Barker on free choice, imperatives
  32
  33
  34 ##Other##
  35 17.     [Phil/ling application] Expletives<p>
  36 18.     Some references:
  37        * [de Groote on the lambda-mu calculus in linguistics](http://www.loria.fr/%7Edegroote/papers/amsterdam01.pdf)
  38        * [on donkey anaphora and continuations](http://dx.doi.org/10.3765/sp.1.1)
  39        * [Wadler on symmetric sequent calculi](http://homepages.inf.ed.ac.uk/wadler/papers/dual-reloaded/dual-reloaded.pdf)
  40 19.     Dependent types
  41