| |
Here is a rough syllabus that will give you an idea of what we will cover.
- Introduction and motivation (Reynolds Ch 1).
- Denotational semantics of SIL: a Simple Imperative Language (Reynolds Ch
2).
- Prototyping denotational semantics in Haskell (supplemental reading).
- Axiomatic semantics of SIL (Reynolds Ch 3).
- Continuations, and a new denotational semantics for extended SIL (Reynolds
Ch 5).
- Operational (transition) semantics for SIL (Reynolds Ch 6).
- Semantics of non-determinism (Reynolds Ch 7).
- The lambda calculus (Reynolds Ch 10).
- Semantics of ML-like languages (Reynolds Ch 11).
- Semantics of Haskell-like languages (Reynolds Ch 14).
- Semantics of ISWIM-like languages (Reynolds Ch 13).
- Continuation semantics for other language features (supplemental reading).
- Monads and continuations (supplemental reading).
- Equational logic (supplemental reading).
- Denotational semantics of objects (supplemental reading).
- Semantics of types (Reynolds Ch 15 and supplemental reading).
|