Name: A tutorial on the universality and expressiveness of fold
Start: 2018-05-22T19:00:00+02:00
End: 2018-05-22T21:00:00+02:00
Location: Liferay Office

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

Miguel Pastor

Papers We Love Madrid

Technology

Software Development

Education & Technology

New Technology

Intellectual Discussions

Engineering

Technology Professionals

Computer Programming

Intellectual Curiosity

IT Professionals

Software Engineering

Computer Science

Academics

A tutorial on the universality and expressiveness of fold

Liferay Office

Share

Papers We Love Madrid

A tutorial on the universality and expressiveness of fold

Papers We Love Madrid

Details

Members are also interested in