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 |