Some of the lectures below were presented by Jan-Willem Maessen.
| LEC # | Topics | Files |
|---|---|---|
| 1 | Expressing Parallel Computation | (PDF) |
| 2 | Implicitly Parallel Programming in pH: Functions and Types | (PDF) |
| 3 | A ג - calculus: A Basis for Functional Languages | (PDF) |
| 4 | A ג - calculus with Constants and Let - blocks | (PDF) |
| 5 | A ג - calculus with Let - blocks (continued) | (PDF) |
| 6 | The Hindley-Milner Type System | (PDF) |
| 7 | The Hindley-Milner Type System (Continued) | (PDF) |
| 8 | Lists and Algebraic Types | (PDF) |
| 9 | Desugaring List Comprehensions and Pattern Matching | (PDF) |
| 10 | Programming with Arrays | (PDF) |
| 11 | I- Structures and Open Lists | (PDF) |
| 12 | M- Structures: Programming with State and Nondeterminism | (PDF) |
| 13 | M- Structures Continued | (PDF) |
| 14 | λS: A Lambda Calculus with Side - effects | (PDF) |
| 15 | Using Monads for Input and Output | (PDF) |
| 16 | Using Monads to Structure Computation | (PDF) |
| 17 | Bluespec - 1: A language for hardware design, simulation and synthesis | (PDF) |
| 18 | Bluespec - 2: Bluespec Compilation Model & Introduction to programming | (PDF) |
| 19 | Bluespec - 3: The IP Lookup Problem | (PDF) |
| 20 | Bluespec - 4: Modules and Type Classes | (PDF) |
| 21 | Bluespec - 5: Programming Examples | (PDF) |
| 22 | Term Rewriting Systems | (PDF) |
| 23 | The Confluence of the ג - calculus | (PDF) |
