In the talk a certain (but very useful) case of application of category theory terminology for typed functional programming will be considered. It will be shown how some intuitively expected conclusions can be formally justified and what the duality principle can provide.

Supplementary materials:

Jeremy Gibbons. Calculating Functional Programs.

Presented: Dmitry Boulytchev

Date: October 8, 2018

Time: 17:15

Venue: room 3248, Faculty of Mathematics and Mechanics, Saint Petersburg State University, Stary Peterhof, Universitetski pr., 28