X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=27ce3a0dea79a49a61dbb5b4675caa778a226426;hp=c4c3e435fa0bef6ae85d991acf075752c1d34140;hb=30e80630a4bdb0ec23dd7098f735b060f6a3de0f;hpb=48488554f3c75fa0abcb242a6aea4724ecdc5b7b diff --git a/index.mdwn b/index.mdwn index c4c3e435..27ce3a0d 100644 --- a/index.mdwn +++ b/index.mdwn @@ -185,6 +185,27 @@ We've posted a [[State Monad Tutorial]]. > 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 ##