Joined 6/14/2016, 1:32:06 AM has 19 karma
A tutorial on the universality and expressiveness of fold (1999) [pdf]