TallCat
Webpage of the Compositional Systems and Methods group at TalTech
Functional Programming
Course Organization
- course code
- ITI0212
- term
- Spring 2021
- lectures
-
Mondays 14:15 - 15:45
in ICT-507 and on Zoom - labs
-
Tuesdays 12:00 - 13:30
in ICT-402 and on Gather - instructors
- Pawel Sobocinski, Chad Nester, Ed Morehouse
Announcements
- This course page is still under construction. All information should be considered tentative.
Assignments
- Course assignments will be posted here.
Outline
| 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 |