From b4f741e7eab2a7df728d8abf791f75d2b2357279 Mon Sep 17 00:00:00 2001 From: jim Date: Sun, 1 Mar 2015 16:59:12 -0500 Subject: [PATCH] posted stubs --- index.mdwn | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/index.mdwn b/index.mdwn index b352d58b..361a0b3f 100644 --- a/index.mdwn +++ b/index.mdwn @@ -132,6 +132,19 @@ Towards types (in progress); > We posted [[answers to Week 3's homework|exercises/assignment3_answers]]. +(**Week 5**) Thursday 26 February 2015 + +> Topics: +Simply-typed lambda calculus; +System F; +Types in OCaml and Haskell; +Practical advice for working with OCaml and/or Haskell; +Homework (all will be posted soon) + +> If you're reading along in Hankin, you can look at Chapter 7. + +> If you're reading along in the Pierce book, the chapters most relevant to this week's discussion are 22 and 23; though for context we also recommend at least Chapters 8, 9, 11, 20, and 29. We don't expect most of you to follow these recommendations now, or even to be comfortable enough yet with the material to be able to. We're providing the pointers as references that some might conceivably pursue now, and others later. +