sorted by: recent | see :
popular
Content Tagged with fold + cs
Tutorial on the universality and expressiveness of fold, and other readings
More papers here, but the "Tutorial on the universality and expresiveness of fold" is the gem that caught my eye
Haskell: del.icio.us tag/haskell
Programming
haskell
functional
cs
fold
GrahamHutton
pushingbuttons
A tutorial on the universality and expressiveness of fold
"This article is a tutorial on two key aspects of the fold operator for lists. [1:] we emphasize the use of the universal property of fold [] as a proof principle [], and as a definition principle[]. [2:], we show that [] the fold operator has greater exp
Haskell: del.icio.us tag/haskell
Language
cs
formal
computerscience
function
paper
functional
haskell
Programming
fold
