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.
Jeremy Gibbons. Calculating Functional Programs.
Presented: Dmitry Boulytchev
Date: October 8, 2018
Venue: room 3248, Faculty of Mathematics and Mechanics, Saint Petersburg State University, Stary Peterhof, Universitetski pr., 28