Unifying Recursion Schemes will be part of the ICFP 2013 papers (http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/urs.pdf http://www.cs.ox.ac.uk/people

Unifying Recursion Schemes will be part of the ICFP 2013 papers (http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/urs.pdf http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/ur...) which is tangentially related to the penultimate entry using recursion, as we have another way of reasoning about them now.