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
- All course meetings will be remote for the foreseeable future.
-
The marking criteria for homework assignments and the term project are as follows.
- correctness: 70%
- style (clarity, concision, efficiency): 30%
Assignments
- Homework 1 is due 2021.02.22.
Outline
| 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 |