![[lambdaheads]](http://www.cs.rice.edu/CS/PLT/lambdahead.gif)
![[Programming]](/courses/cs173/2000/cs173logo-vert-1.gif){kind=small} | ![[Languages]](/courses/cs173/2000/cs173logo-vert-2.gif){kind=small} |
| Date | Person | Topic |
|---|---|---|
| 10/31 | dpb | macros |
| 10/31 | er | run-time systems and memory management |
| 11/7 | rob | expressiveness, or, escaping the Turing tarpit |
| 11/14 | greg | calculi vs. machines: the showdown! |
| 11/14 | aris | introductory denotational semantics |
| 11/21 | greg | types and modules |
| 11/21 | rob | monads and functional programming |
| 11/28 | greg | syntactic approach to type soundness |
| 11/28 | aris | problems with denotations |
| 12/5 | rob | aspect-oriented programming |
| 12/5 | aris | domain theory for denotations |