Skip to content

A tutorial on the universality and expressiveness of fold

Photo of
Hosted By
Naren S. and Vipin N.


This paper by Graham Hutton ( provides a great introduction to reasoning with functional programs through the humble 'fold' operator. It gives an insight into how functional programs can be correct by construction and how functional programs can be programatically transformed. The audience is not expected to know functional programming... To help with understanding, I will express concretely many of the points covered in the paper in Haskell. Thanks!
Cybrilla Technologies
Cybrilla TechnologiesMillers The Autograph, No.1660 & 1661, 1st floor, 27th Main Road, 2nd sector, HSR Layout 560102. (Near NIFT · Bangalore
How to find us

Landmark: Opposite OpenEBS office (last event venue). On 1st floor above VLCC.

Google map of the user's next upcoming event's location