Announcements

• 11 Dec 2008 Here is a link to the Haskell code from today's lecture.

• 9 Dec 2008 Please submit your projects no later than noon on Monday Dec. 15. Your submission should include enough documentation for me to understand what you did without having to read your code. I will read the code though :-)

• 9 Dec 2008 Here is a link to the Haskell code from today's lecture.

• 4 Dec 2008 Here is the link to Filinski's thesis. Just read the introduction please.

• 2 Dec 2008 Unfortunately I will have to cancel my office hours this Wednesday morning.

• 11 Nov 2008: Here are links to the two Milner papers mentioned in class today:
  • Functions as processes
  • Elements of interaction: Turing award lecture

• 11 Nov 2008: For the next few lectures, I will follow selected chapters from The π-calculus: A Theory of Mobile Processes by Davide Sangiorgi and David Walker.

• 6 Nov 2008: Here is a link to the frons paper that Dan presented today in class.

• 30 Oct 2008: I am really sorry but I was volunteered to serve on this committee which will meet during my office hours for the next two Wednesdays (Nov. 5 and Nov. 12). I am afraid I will have to cancel these office hours but I would be happy to set appointments with anybody who wants to meet.

• 28 Oct 2008: Here is a link to the midterm.

• 15 Oct 2008: The midterm will be Oct. 28 in class.

• 13 Oct 2008: I have posted a short assignment on types.

• PL Talk this Thursday (Oct. 16) at 4:00pm in LH 115. We have a guest speaker this week, Matthew Lakin, who will be delivering a talk on Resolving Inductive Definitions with Binders.

• 12 Oct. 2008: I will hand back the grades A1 papers. You all have one more chance to resubmit corrected versions of the assignment by the night of Friday 17 Oct.

• 9 Oct. 2008: For your entertainment... Benjamin C. Pierce. Types Considered Harmful, May 2008. invited talk at Mathematical Foundations of Programming Semantics (MFPS)

• 5 Oct. 2008: I posted a few ideas for projects. You are also welcome to suggest your own ideas.

• 5 Oct. 2008: I would like to start types and type safety this week.

• 5 Oct. 2008: For those who have not submitted Assignment 1, please submit whatever you have before next lecture (Oct. 7). Everybody else please correct the marked questions and resubmit the assignment.

• 24 Sep. 2008: As Yin pointed out, there is a typo in Exercise 4.4: the condition should be $X\text{'}\; \notin \; FV(L)$.

• 23 Sep. 2008: Please try to read this article on abstract machines.

• 8 Sep. 2008: For the next few days, I propose we work on Ch. 4 of Felleisen and Flatt's manuscript. As an assignment, please do all the exercises in the chapter. Just send them to me when you are done.

• 4 Sep. 2008: An older version of the Felleisen and Flatt book is available here.

• 4 Sep. 2008: And here is a link to Harper's book

• 4 Sep. 2008: And a link to Wadler's papers on parametricity

• 2 Sep. 2008: Regarding "syntax" vs. "semantics", please the first few pages from the Introduction of the following book: Categorical combinators, sequential algorithms and functional programming, Research notes in theoretical computer science, Pitman (1986); second, revised edition, Birkhauser (1993).

• 7 Aug. 2008: Welcome to B522.