This is a **tentative** schedule. Most likely we will delete a few of these lecutres to make room for exams, and the specific dates or topics may be changed. But this will give you a general idea what to expect.
Date / Time | Title |
---|---|
2016-05-31 | Course Introduction |
2016-06-02 | Recursion |
2016-06-06 | Higher Order Functions |
2016-06-07 | Algebraic Data Types |
2016-06-09 | Lambda Calculus |
2016-06-13 | Interpreters, part 1 |
2016-02-14 | Interpreters, part 2 |
2016-02-16 | Big Step Semantics |
2016-06-20 | Continuations |
2016-06-21 | Type Classes |
2016-06-23 | Monads |
2016-06-27 | Regular Languages |
2016-06-28 | Grammars |
2016-06-30 | LL Parsing |
2016-07-05 | LR Parsing |
2016-07-07 | Combinator Parsing |
2016-07-11 | Unification |
2016-07-12 | Small Step Semantics |
2016-07-14 | Monotype Semantics |
2016-07-18 | Polytype Semantics |
2016-07-19 | Hoare Semantics |
2016-07-21 | State |
2016-07-25 | Variables and Parameters |
2016-07-26 | Prolog |
2016-07-28 | Prolog Cut Operator |
2016-08-01 | Memory Management |
2016-08-02 | Macros |
2016-08-04 | Review Session |