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 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