Webpage of the Compositional Systems and Methods group at TalTech
week | date | topic | lecture video | lecture notes | lab exerceses |
---|---|---|---|---|---|
01 | 2021.01.25 | Course Introduction | |||
02 | Inductive Types and Recursive Functions | ||||
03 | Type Constructors | ||||
04 | Higher-Order Functions | ||||
05 | I/O and do Notation | ||||
06 | Codata and Processes | ||||
07 | Programming Interfaces | ||||
08 | Algebraic Interfaces | ||||
09 | Programming with Indexed Types | ||||
10 | Propositions as Types | ||||
11 | Inductive Equality | ||||
12 | Constructive Negation and Propositional Logic |