TallCat

Logo

Webpage of the Compositional Systems and Methods group at TalTech

Functional Programming

Course Organization

course code
ITI0212
term
Spring 2022
lectures
Wednesdays 10:00 - 11:30
in ICT-315 and on Zoom
labs
Fridays 10:00 - 11:30
in ICT-122 and on Gather
instructors
Matt Earnshaw, Philipp Joram, Ed Morehouse
syllabus
here

Resources

Announcements

Assignments

Outline

week date topic lecture videos lecture notes lab exerceses
01 2022-01-26 course introduction
02 2022-02-02 inductive types and recursive functions
03 2022-02-09 parameterized types and generic functions
04 2022-02-16 indexed types and dependent functions
05 2022-02-23 -- no lecture --
06 2022-03-02 function literals and higher-order functions
07 2022-03-09 monadic IO
08 2022-03-16 totality for data and codata
09 2022-03-23 programming interfaces
10 2022-03-30 record types
11 2022-04-06 computation in types
12 2022-04-13 algebraic interfaces
13 2022-04-20 propositions as types
14 2022-04-27 inductive equality
15 2022-05-04 first-order logic
16 2022-05-11 decidability and automation