Webpage of the Compositional Systems and Methods group at TalTech
week | date | topic | lecture videos | lecture notes | lab exerceses |
---|---|---|---|---|---|
01 | 2021.01.25 | Course Introduction | lecture 1 | lab 1 | |
02 | 2021.02.01 | Inductive Types and Recursive Functions | lecture 2 | lab 2 | |
03 | 2021.02.08 | Type Constructors | lecture 3 | lab 3 | |
04 | 2021.02.15 | Higher-Order Functions | lecture 4 | lab 4 | |
05 | 2021.02.22 | I/O and do Notation | lecture 5 | lab 5 | |
06 | 2021.03.01 | Rewiew and Questions | |||
Codata and Processes | |||||
Programming Interfaces | |||||
Algebraic Interfaces | |||||
Programming with Indexed Types | |||||
Propositions as Types | |||||
Inductive Equality | |||||
Constructive Negation and Propositional Logic |