Thanks for that link. His site is very interesting, the functional programming patterns especially:

http://www.cs.uni.edu/~wallingf/patterns/recursion.html