DM509, Fall 2006, 2nd quarter - Weekly Note 4

Note: the lecture Thursday, December 7, will take place in U82.

Lecture November 28

More on trees. The tupling technique. Discussion of first project.

Reading

Sections 6.2 and 7.4.1-2 in Bird. Second part of slides (trees.hs). For the project: some sampleSudokus.hs.

Lecture December 5 (Expected Contents)

The value undef. Strict and non-strict functions. Proofs of properties of code.

Reading

Chapters 1, 2 and 4 in Bird again, now with a focus on undef and on proofs. Section 9.1 in Bird.

Lecture December 7 (Expected Contents)

More on proofs of properties of code. Type inference.

Reading

Chapters 1, 2 and 4 in Bird again, now with a focus on undef and on proofs. Section 9.1 in Bird. Handouts.

Exercises December 4

Remaining exercise from last weekly note (exam of summer 2004 (pdf), exercise 3).

Exercise 7.3.1 in Bird.

Exam of summer 2005 (pdf), exercise 1, b.

Exam of winter 2000 (pdf), exercise 3.