Welcome to Denotational Semantics
Denotational? Semantics? Where's the proof?
We meet 1430-1600 T TR in room 86 (FAB basement)
Course Syllabus
| Date | Presenter | Topic | Reading |
| June 23 | Hook | Intro and Overview | T 1 |
| June 25 | Hook | Mathematical Preliminaries; Logic | T 2; Prawitz? |
| June 30 | Marek | A Simple Imperative Language | T 3 (3.1 - 3.4) |
| July 02 | DuBuisson | Operational Semantics | T 3 (3.5) |
| July 07 | wchogg | Hoare Logic | T 3 (3.6) |
| July 07 | wchogg | A Simple Applicative Language | T 4 (4.1 - 4.4) |
| July 09 | DuBuisson | Properties of the Applicative Language | T 4 (4.4) |
| July 14 | Morris | Full abstraction of while | T 4 (4.4) |
| July 16 | Chevalier | Substitution | T 4 (4.5) |
| July 21 | DuBuisson | Programming Logic; Elementary Domain Theory, Continuous Functions | T 5 (5.1 - 5.3) |
| July 23 | wchogg | Least Fixed Points, Reasoning about Fixed Points | T 5 (5.5-5.6) |
| July 28 | Marek | Programming Logic; Introducing "Algol", Call by Name, Call by Value | T 6 |
| July 30 | Morris | Coercions, local variables, product types and arrays | T 7 (7.1-7.3) |
| Aug 04 | Chevalier | Acceptors, jumps, and block expressions | T 7 (7.4-7.6) |
| Aug 06 | Morris | Introduction to Category Theory | T 8 (8.1-8.3) |
| Aug 11 | wchogg | Monads, Proper and Non-proper morphisms, continuations | notes |
| Aug 13 | Marek | T 9 (...) | |
| Aug 18 | DuBuisson | T 9 (...) | |
| Aug 20 | Chevalier | T 10 | |
| Aug 25 | ???? | ??? | T 10 |
| Aug 27 | wchogg | Preview Fall 09 | T awesome |
| Sept 03 | DuBuisson | Final (Refreshments) |
