PLT

Recursion Schemes

Books

• AoP - The Algebra of Programming - Richard Bird, Oege de Moor

Papers

• Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire — Erik Meijer, Maarten Fokkinga, Ross Paterson
• Origami programming — Jeremy Gibbons
• Data types à la carte - Wouter Swierstra

Talks

• Going Bananas, Ralf Lämmel
• Categories for the Working Haskeller — Jeremy Gibbons

Articles

• Edward Kmett
  • Recursion Schemes: A Field Guide (Redux)
  • Catamorphisms (previously a Google “Knol”)
  • recursion-schemes Haskell package
• Series by Patrick Thomson
  • An Introduction to Recursion Schemes
  • Recursion Schemes, Part II: A Mob of Morphisms
  • Recursion Schemes, Part III: Folds in Context
  • Recursion Schemes, Part IV: Time is of the Essence
  • Recursion Schemes, Part 4½: Better Living Through Base Functor
  • Recursion Schemes, Part V: Hello, Hylomorphisms
• Sandy Maguire’s Review: Bananas, Lenses, Envelopes and Barbed Wire