A tutorial on the universality and expressiveness of fold (1999) [pdf] | Dark Hacker News