» tagged pages
» logout

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

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