A tutorial on the universality and expressiveness of fold

You attended the previous PWL Mad meetup on functional programming (FP) and got hooked?

Good news everyone, we have a bit more FP stuff for you.

It’s well-known that to understand recursion you need to understand recursion, but — setting the jokes aside — there is a simpler way described in the classical paper by Graham Hutton — "A tutorial on the universality and expressiveness of fold”.

Together we will learn to stop worrying about recursion and love the fold.

Have you read the paper or already folding your lists like a pro? No worries! We got a handful for you too — recursive schemes, F-algebras, dependent types, interactive theorem proving and how it all fits together.

Our speakers will be Anton Trunov (https://twitter.com/Anton_A_Trunov) and Jesús Domínguez (https://twitter.com/jeshecdom)

FP programmers of all levels and backgrounds are welcome! The talk will be in English