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) |
