Lectures
Fnn.pdf - handouts for lecture nn
Nnn.pdf - Nielson, Nielson nn
Ann.pdf - lecture notes nn
| Contents | Slides | Readings | |
| F1 v1 | Introduction | F01.pdf | |
| F2 | Concrete and abstract representation, semantic functions | A1.pdf | |
| F3 | Introduction to Haskell, workshop | Haskell examples | Workshop |
| F4 v2 |
Semantics for natural numbers Structural induction. | F04.pdf | A2.pdf,
A3.pdf N1.3 |
| F5 |
While Semantics of expressions with states Substitution Natural operational semantics | N1.2-4, N2.1 | |
| F6 | Structural operational semantics | F06.pdf | N2.2-3 |
| F7 v3 | Lambda calculus | lambda.pdf | |
| F8 | Lambda calculus, Extensions of While | N3.1 | |
| F9 | Extensions of While, blocks and procedures | F09.pdf | N3.2 |
| F10 v4 | Correctness of a compiler | F10.pdf | N4 |
| F11 | Domain theory | domain.pdf | |
| F12 | Denotational semantics | N5.1,3 | |
| F13 v5 | Denotational semantics | N5.3,4 | |
| F14 | Prolog | examples.pl | prolog.pdf |
| F15 | Continuations | N6.2 | |
| F16v6 | Axiomatic semantics | N9.2 | |
| F17 | Weakest precondition semantics | wp.pdf | |
| F18 | Lecture cancelled | ||
| F19 v7 | Execution model for lambda calculus using the SECD machine. Closures in Java (proposed). | secd.pdfBGGA proposalGafter lecture | |
| F20 | An old exam | ||
| F21 | No lecture | ||