
7 Sep
2012
7 Sep
'12
3:07 p.m.
For foldr see Olivier Danvy and Michael Spivey's "On Barron and Strachey’s Cartesian Product Function" crediting a discovery to David Barron and Christopher Strachey. http://www.brics.dk/RS/07/14/BRICS-RS-07-14.pdf