sorted by: recent | see :
popular
Content Tagged with function + functional
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