new_stuff.mdwn

   1 Page for Chris and Jim to see what each other is working on, but hasn't necessarily been posted to main wiki index yet.
   2
   3 Week11:
   4
   5 *       [[Tree and List Zippers]]
   6 *       [[Coroutines and Aborts]]
   7 *       [[From List Zippers to Continuations]]
   8 *       [[Assignment8]]
   9
  10 Week12:
  11
  12 *       [[List Monad as Continuation Monad]]
  13 *       [[Manipulating Trees with Monads]] (still in progress)
  14 *       [[code/tree_monadize.ml]]
  15 *       [[Assignment9]]
  16
  17 New stuff, fairly stable:
  18
  19 *       [Commentary](/hints/assignment_6_commentary) on some common issues in the solutions to [[Assignment6]].
  20 *       [[Translating between OCaml Scheme and Haskell]]
  21 *       [[Monad Library]], code is at [[code/monads.ml]]
  22 *       [[State Monad Tutorial]]
  23
  24 In progress:
  25
  26 *       [[Curry-Howard]]
  27 *       [[Monad Transformers]]
  28 *       [[Assignment10]]
  29 *       [[CPS and Continuation Operators]]
  30
  31 <!--
  32
  33 from Upcoming Topics, now pointless (sniff...)
  34
  35
  36 14.     Curry-Howard isomorphism between simply-typed lambda and intuitionistic propositional logic<p>
  37 15.     The types of continuations; continuations as first-class values
  38
  39 ## Continuations ##
  40
  41 0.      [Phil/ling application] Partee on whether NPs should be uniformly interpreted as generalized quantifiers, or instead "lifted" when necessary. Lifting = a CPS transform.
  42 1.      Using CPS to handle abortive computations (think: presupposition failure, expressives)
  43 2.      Using CPS to do other handy things, e.g., coroutines (cooperative threading)
  44 3.      Making evaluation order explicit with continuations
  45 4.      Delimited (quantifier scope) vs undelimited (expressives, presupposition) continuations
  46 5.      [Phil/ling application] [Barker/Shan on donkey anaphora](http://dx.doi.org/10.3765/sp.1.1)
  47 6.      The continuation monad
  48
  49 ## Preemptively parallel computing and linear logic ##
  50
  51 1.      Basics of parallel programming: semaphores/mutexes
  52 2.      Contrasting "preemptive" parallelism to "cooperative" parallelism (coroutines, above)
  53 3.      Linear logic, "logical resource management"
  54 4.      [Phil/ling application] Barker on free choice, imperatives
  55
  56
  57 ##Other##
  58 17.     [Phil/ling application] Expletives<p>
  59 18.     Some references:
  60        * [de Groote on the lambda-mu calculus in linguistics](http://www.loria.fr/%7Edegroote/papers/amsterdam01.pdf)
  61        * [on donkey anaphora and continuations](http://dx.doi.org/10.3765/sp.1.1)
  62        * [Wadler on symmetric sequent calculi](http://homepages.inf.ed.ac.uk/wadler/papers/dual-reloaded/dual-reloaded.pdf)
  63 19.     Dependent types
  64
  65
  66 -->