links.md

Recursion and corecursion schemes

Books

• Algebra of Programming - R. Bird, O. de Moor(1997)
• The Fun of Programming - J. Gibbons, O. de Moor(2003)

Papers

• Fold and Unfold for Program Semantics - G. Hutton(1998)

• Metamorphisms: Streaming Representation-Changers - J. Gibbons(2005) (fold and unfold combined)

• Fission for Program Comprehension (paramorphisms and more)

• The Under−Appreciated Unfold - J. Gibbons(1998) (anamorphisms)

• When is a function a fold or an unfold? - J. Gibbons et al.(2001)

• Origami Programming - J. Gibbons

• Calculating Functional Programs - J. Gibbons

• Sorting Morphisms - L. Augusteijn

• Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire - E. Meijer(1991)

• Paramorphisms - L. Meertens(1992)

Blogs and blog posts

• Patterns in Functional Programming (J. Gibbons' blog)
• Recursion Schemes: A Field Guide (Redux) - E. Kmett(2009)

Stackoverflow posts

• Inverting a fold
• Recursion schemes for dummies?
• What constitutes a fold for types other than list? (very intuitive exlanation can be found in the accepted answer, any fold must be able to reconstruct the value it is applied to (list, tree, etc.))

Misc.

Blog posts

• Beautiful folding by Max Rabkin(2008)

Stackoverflow posts

• Simplest, most jargon-free English possible, the “universal property of fold”?
• Writing foldl using foldr
• Why it is not possible to redefine (implement) foldr in terms of foldl
• What constitutes a fold for types other than list?