* [[What is computation?|topics/week3_what_is_computation]]
+* [[Kaplan on Plexy|topics/week6_plexy]]
+
* Functional Programming
* [[Introduction|topics/week1 kapulet intro]]
* More tips on using Scheme
* Types in OCaml and Haskell (will be posted soon)
* Practical advice for working with OCaml and/or Haskell (will be posted soon)
+ * [[Kaplan on Plexy|topics/week6_plexy]] and the Maybe type
+ * Interpreter for Lambda terms
+ * Starting with Monads
* Order, "static versus dynamic"
* [[Order in programming languages and natural language|topics/week1 order]]
* [[Reduction Strategies and Normal Forms in the Lambda Calculus|topics/week3_evaluation_order]]
* [[Unit and its usefulness|topics/week3 unit]]
+ * [[Combinatory evaluator|topics/week7_combinatory_evaluator]]
* The Untyped Lambda Calculus
* [[Reduction Strategies and Normal Forms|topics/week3_evaluation_order]]
* [[Fixed point combinators|topics/week4_fixed_point_combinators]]
* [[More about fixed point combinators|topics/week4_more_about_fixed_point_combinators]]
+ * Interpreter for Lambda terms
-* [[Combinatory Logic|topics/week3 combinatory logic]]
+* Combinatory logic
+
+ * [[Introduction|topics/week3 combinatory logic]]
+ * [[Combinatory evaluator|topics/week7_combinatory_evaluator]]
* Typed Lambda Calculi
* [[Simply-typed lambda calculus|topics/week5 simply typed]] (will be updated)
* [[System F|topics/week5 system F]] (will be updated)
* Types in OCaml and Haskell (will be posted soon)
+ * Starting with Monads
## Topics by week ##
* Types in OCaml and Haskell (will be posted soon)
* Practical advice for working with OCaml and/or Haskell (will be posted soon)
* [[Homework for weeks 5 and 6|exercises/assignment5]]
+
+Week 6:
+
+* [[footnote about "Plexy"|readings/kaplan-plexy.pdf]] from Kaplan's *Demonstratives* about Plexy; [[our notes|topics/week6_plexy]] comparing to the Maybe type
+* (Recommended) [[King's discussion of Schiffer|readings/king-on-schiffer.pdf]] in Chapter 4 of *The Nature and Structure of Content* (2007)
+* (Recommended) [[King's discussion of clausal complements and proposition-designators|readings/king-on-logicism.pdf]] from Chapter 5 of *The Nature and Structure of Content* (2007) <!-- reviews and elaborates his paper "[Designating propositions](http://philpapers.org/rec/KINDP)" -->
+* Michael Rieppel, "[[Being Something: Properties and Predicative Quantification|readings/rieppel-beingsthg.pdf]]"
+
+Week 7:
+
+* [[Combinatory evaluator|topics/week7_combinatory_evaluator]]
+* Interpreter for Lambda terms
+* Starting with Monads
+
+