X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=content.mdwn;h=1178c43d15283cf6ca3a36d07ea9917fa9beeab8;hp=6b1153721e9d03a8246bed8de0fd654c53eb3ea1;hb=d83905df72d2387c41cf8df3c83b9853e102e1cb;hpb=47a4a5cfd372653eba6fabc8d7ba6a76247bcc8c
diff --git a/content.mdwn b/content.mdwn
index 6b115372..1178c43d 100644
--- a/content.mdwn
+++ b/content.mdwn
@@ -7,6 +7,8 @@ week in which they were introduced.
* [[What is computation?|topics/week3_what_is_computation]]
+* [[Kaplan on Plexy|topics/week6_plexy]]
+
* Functional Programming
* [[Introduction|topics/week1 kapulet intro]]
@@ -16,14 +18,20 @@ week in which they were introduced.
* [[List Comprehensions|topics/week3 lists#comprehensions]]
* [[Unit and its usefulness|topics/week3 unit]]
* 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
+ * [[Introducing Monads|topics/week7_introducing_monads]]
* Order, "static versus dynamic"
- * [[Order in programming languages and natural language|topics/week1 order]]
- * Reduction Strategies and Normal Forms in the Lambda Calculus
- * Usefulness of `()`
+ * [[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 Lambda Calculus
+* The Untyped Lambda Calculus
* [[Introduction to the Lambda Calculus|topics/week2 lambda intro]]
* [[Advanced notes on the Lambda Calculus|topics/week2 lambda advanced]]
@@ -35,12 +43,22 @@ week in which they were introduced.
* [[Arithmetic with Church numbers|topics/week3_church_arithmetic]]
* [[How to get the `tail` of v1 lists?|topics/week3 lists#tails]]
* [[Some other list encodings|topics/week3 lists#other-lists]]
- * Reduction Strategies and Normal Forms
+ * [[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
+ * [[Introduction|topics/week3 combinatory logic]]
+ * [[Combinatory evaluator|topics/week7_combinatory_evaluator]]
-* [[Combinatory Logic|topics/week3 combinatory logic]]
+* 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)
+ * [[Introducing Monads|topics/week7_introducing_monads]]
## Topics by week ##
@@ -70,7 +88,7 @@ Week 3:
* [[More on Lists|topics/week3 lists]]
Introduces list comprehensions, discusses how to get the `tail` of lists in the Lambda Calculus, and some new list encodings
* [[What is computation?|topics/week3_what_is_computation]]
-* Reduction Strategies and Normal Forms (will try to post soon)
+* [[Reduction Strategies and Normal Forms|topics/week3_evaluation_order]] (posted on Monday 23 Feb)
* [[Unit and its usefulness|topics/week3 unit]]
* [[Combinatory Logic|topics/week3 combinatory logic]]
* [[Homework for week 3|exercises/assignment3]] ([[Answers|exercises/assignment3_answers]])
@@ -81,3 +99,26 @@ Week 4:
* [[More about fixed point combinators|topics/week4_more_about_fixed_point_combinators]]
* Towards types (in progress)
* [[Homework for week 4|exercises/assignment4]]
+
+Week 5:
+
+*Note*: Jim will be updating and expanding the lecture notes by Tuesday, but doesn't want to delay any longer letting you have access to the drafts we (in part) presented from in seminar. But do come back and re-read the pages when the expanded versions are posted.
+
+* [[Simply-typed lambda calculus|topics/week5 simply typed]]
+* [[System F|topics/week5 system F]]
+* 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)
+* Michael Rieppel, "[[Being Something: Properties and Predicative Quantification|readings/rieppel-beingsthg.pdf]]"
+
+Week 7:
+
+* [[Combinatory evaluator|topics/week7_combinatory_evaluator]]
+* Interpreter for Lambda terms
+* [[Introducing Monads|topics/week7_introducing_monads]]