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

Regarding the last period: There will be lectures Thursday, December 14 (10-12 in U49D), Tuesday, December 19 (12-14 in U14), and Thursday, December 21 (10-12 in U49D). There will be exercise classes Monday, December 18 (10-12 in U14) and Friday, December 22 (10-12, room still pending).

Lecture December 5

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

More on proofs of properties of code. Start on 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. Chapter 13 (handouts) from Thompson book.

Lecture December 12

More on type inference. Start on Prolog.

Reading

Chapter 13 (handouts) from Thompson book. Chapter 1, Sections 2.1-4, and Sections 3.1-2 in Clocksin and Mellish. Slides: txt.

Lecture December 14 (Expected Contents)

More on Prolog.

Reading

Chapters 3-4 and 6-7 in Clocksin and Mellish.

Exercises December 11

Exercises 4.2.10, 9.1.4, 4.2.3, 4.2.5, 4.2.7 in Bird.

Exam of summer 2002 (pdf), exercise 3, question c.

Exam of summer 2005 (pdf), exercise 4.