2 Mar 2005: Please think seriously about your final projects. Feel
free to suggest your own idea. The choices should be finalized the week after
spring break.
2 Mar 2005: Assignment 4 is posted. It is due 22 Mar.
1 Mar 2005: Here is the equivalence you need to break by choosing an
appropriate M and an appropriate context:
(let ((x M)) (cons x x))
(let ((x M)) (let ((y M)) (cons x y)))
You can use procedures, applications, constants, and call/cc but
nothing else.
1 Mar 2005: The references on security suggested by Sid are now posted
on the reading list for the course.
25 Feb 2005: Here are the slides for the
lecture of 24 Feb by Liang.
25 Feb 2005: Here are the sample files
discussed in the lecture of 24 Feb by Liang.
17 Feb 2005: Assignment 3 is posted.
1 Feb 2005: I sincerely apologize for having to also cancel class on
Thursday 3 Feb.
30 Jan 2005: Due to a family emergency, there will be no class this Tuesday 1 Feb.
30 Jan 2005: Assignment 2 is posted. It is due 15 Feb.
15 Jan 2005: Assignment 1 is posted. It is due 27 Jan in
class.
15 Jan 2005: I have started populating the list of project
ideas. Everyone taking the class for credit is expected to
individually complete one of these projects before the end of the
term.