Webpage of the Compositional Systems and Methods group at TalTech
week | date | topic | lecture videos | lecture notes | lab exerceses |
---|---|---|---|---|---|
01 | 2023-01-30 | course introduction | |||
02 | 2023-02-06 | inductive types and recursive functions | |||
03 | 2023-02-13 | parameterized types and generic functions | |||
04 | 2023-02-20 | function literals and higher-order functions | |||
05 | 2023-02-23 | ??? | |||
06 | 2023-03-06 | monadic I/O | |||
07 | 2023-03-13 | programming interfaces | |||
08 | 2023-03-20 | indexed types and dependent functions | |||
09 | 2023-03-27 | record types | |||
10 | 2023-04-03 | totality for data and codata | |||
11 | 2023-04-10 | computation in types | |||
12 | 2023-04-17 | algebraic interfaces | |||
13 | 2023-04-24 | propositions as types | |||
14 | 2023-05-01 | inductive equality | |||
15 | 2023-05-08 | first-order logic | |||
16 | 2023-05-15 | decidability and automation |