TallCat

Logo

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

Assignments

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