X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=27ce3a0dea79a49a61dbb5b4675caa778a226426;hp=217f7e5f15e2d9e173f45c2f87771c9358471e3c;hb=8cd2e41084d42df6db49d6ea9e3183c709a54837;hpb=c7724ab43624fa37c971971f40799c2d5527fac0 diff --git a/index.mdwn b/index.mdwn index 217f7e5f..27ce3a0d 100644 --- a/index.mdwn +++ b/index.mdwn @@ -137,7 +137,7 @@ Towards types (in progress); [[System F|topics/week5 system F]]; Types in OCaml and Haskell (will be posted someday); Practical advice for working with OCaml and/or Haskell (will be posted someday); -[[Homework|exercises/assignment5]] +[[Homework|exercises/assignment5-6]] > *There is some assigned reading for our next meeting.* This comes in two batches. The first batch consists of [[this footnote|readings/kaplan-plexy.pdf]] from Kaplan's *Demonstratives*. Also recommended, but not mandatory, is [[this selection|readings/king-on-schiffer.pdf]] from Chapter 4 of Jeff King's 2007 book *The Nature and Structure of Content*. The second batch consists of [[this paper|readings/rieppel-beingsthg.pdf]] from Michael Rieppel, a recent Berkeley Philosophy PhD, on Frege's "concept horse" problem. Also recommended, but not mandatory, is [[this selection|readings/king-on-logicism.pdf]] from Chapter 5 of King's book. (It reviews and elaborates his paper "[Designating propositions](http://philpapers.org/rec/KINDP)".) @@ -155,19 +155,58 @@ Practical advice for working with OCaml and/or Haskell (will be posted someday); (**Week 7**) Thursday March 12 -> Topics: [[Combinatory evaluator|topics/week7_combinatory_evaluator]]; Lambda evaluator; [[Introducing Monads|topics/week7_introducing_monads]] (updated Fri 20 Mar); [[Homework|exercises/assignment7]] +> *Many of these were updated or first posted on Mon 23 March.* -> We posted answers to [[Week 4's homework|exercises/assignment4_answers]] and [[Week 5-6's homework|exercises/assignment5_answers]]. +> Topics: [[Combinatory evaluator|topics/week7_combinatory_evaluator]]; [[Introducing Monads|topics/week7_introducing_monads]]; [[Homework|exercises/assignment7]]; [[Environments and Closures|topics/week7_environments_and_closures]]; [[Untyped lambda evaluator|topics/week7_untyped_evaluator]] + +> We posted answers to [[Week 4's homework|exercises/assignment4_answers]] and [[Week 5-6's homework|exercises/assignment5-6_answers]]. (**Week 8**) Thursday March 26 -> Topics: [[Safe division with monads|topics/week8_safe_division_with_monads]] +> Topics: [[Safe division with monads|topics/week8_safe_division_with_monads]]; [[Reader Monad|/topics/week8_reader_monad]]; [[Ramble on Monads and Modules|topics/week8_monads_and_modules]] (*the latter two were posted/updated on April 5-6*) + +(**Week 9**) Thursday April 2 + +> Updated notes on [[Installing and Using the Juli8 Libraries|/juli8]] on Sun 5 April. Continued to fix some bugs and improve the monad transformers. Latest version posted Monday evening, 13 April: [[v1.6|/code/Juli8-v1.6.tgz]]. This version is needed to run [[the gsv2.ml code|/code/gsv2.ml]]. + + + +> Topics: [[Using the OCaml Monad library|/topics/week9_using_the_monad_library]]; [[Programming with mutable state|/topics/week9_mutable_state]]; [[A State Monad Tutorial|/topics/week9_state_monad_tutorial]]; [[Using multiple monads together|/topics/week9_monad_transformers]]; [[Homework for weeks 8-9|/exercises/assignment8-9]] + +> Reading for Week 10: Groenendijk, Stokhof, and Veltman, "[[Coreference and Modality|/readings/coreference-and-modality.pdf]]" (1996) +(**Week 10**) Thursday April 9 + +> Topics: We will be discussing the reading posted above. Here are [[notes and links to code|/topics/week10_gsv]]. + +(**Week 11**) Thursday April 16 + +> We postponed class this week to enable people to attend the Partee talk. + +(**Week 12**) Thursday April 23 + +> Topics: Mutation and hyper-synonymy (no notes); [[Abortable list traversals|/topics/week12_abortable_traversals]]; [[List and tree zippers|/topics/week12_list_and_tree_zippers]]; [[Homework|exercises/assignment12]] + +> For amusement/tangential edification: [xkcd on code quality](https://xkcd.com/1513/); [turning a sphere inside out](https://www.youtube.com/watch?v=-6g3ZcmjJ7k) + +(**Week 13**) Thursday April 30 + +> Topics: [[From list zippers to continuations|topics/week13_from_list_zippers_to_continuations]]; [[Coroutines, exceptions, and aborts|topics/week13_coroutines_exceptions_and_aborts]]; [[Let/cc and reset/shift|topics/week13_native_continuation_operators]]; CPS transforms + +(**Week 14**) Thursday May 7 + +> Topics: Continuations (continued) + +(**Makeup class**) Monday May 11, 2--5 pm + +> Topics: Linguistic applications of continuations + ## Course Overview ##