General (nearly all monads compose), mathematically elegant (use the standard categorical tools underpinning monads) and computationally expressive (support a canonical recursion operator).

Haskell: del.icio.us tag/haskell

haskell functional math performance compsci category monad

Functional Thinking " Deriving an Efficient nub Using Worker/Wrapper

Saturday, December 29, 2007

Haskell: del.icio.us tag/haskell

Programming haskell functional research compsci

Functional Thinking " Deriving an Efficient nub Using Worker/Wrapper

Saturday, December 29, 2007

A systematic way of solving the problem of finding an efficient nub for Int's, using recent work on the worker/wrapper transformation.

Haskell: del.icio.us tag/haskell

blog haskell functional research compsci

Clean

Saturday, December 15, 2007

The programming language Clean is a general purpose, pure and lazy functional programming language.

Haskell: del.icio.us tag/haskell

Development Programming haskell Windows functional compsci languages

Coalgebras and Automata

Monday, October 15, 2007

Haskell: del.icio.us tag/haskell

Programming haskell functional compsci category monad fold

XML and Web Programming

Sunday, August 19, 2007

XML: del.icio.us/tag/xml

Development Programming xml functional scheme webdev compsci

A Neighborhood of Infinity: You Could Have Invented Monads! (And Maybe You Already Have.)

Monday, August 06, 2007

Haskell: del.icio.us tag/haskell

haskell functional compsci

There and Back Again: Arrows for Invertible Programming

Wednesday, August 01, 2007

Introduces bidirectional arrows. The bi-arrow class extends arrows with an extra combinator that changes the direction of computation. Specify a conversion in one direction (e.g. parser), and get the inverse (pretty printer) almost for free.

Haskell: del.icio.us tag/haskell

haskell functional research compsci arrow system:filetype:pdf system:media:document

Polytypic programming at Chalmers

Wednesday, August 01, 2007

Many functions have to be written over and again on different types: they are polytypic. Examples include pretty printers, parsers, equality tests, rewriters. A polytypic function is defined by induction on the structure of user-defined types.

Haskell: del.icio.us tag/haskell

haskell functional compsci types

WhyAttributeGrammarsMatter - TmrWiki

Wednesday, August 01, 2007

Haskell: del.icio.us tag/haskell

Language Programming haskell functional grammar compsci AttributeGrammars

Hitchhikers guide to Haskell - HaskellWiki

Tuesday, March 28, 2006

Haskell: del.icio.us tag/haskell

Language Programming haskell functional tutorials toread compsci

Packrat Parsing: Simple, Powerful, Lazy, Linear Time

Monday, June 11, 2007

Haskell: del.icio.us tag/haskell

parser haskell functional parsing compsci

Haskell - Wikibooks, collection of open-content textbooks

Wednesday, June 06, 2007

overview of Haskell on wikibooks

Haskell: del.icio.us tag/haskell

Language Programming Book haskell functional compsci

Functional Pearl: The Zipper

Monday, May 21, 2007

Haskell: del.icio.us tag/haskell

Programming haskell pdf functional read_later algorithms compsci

Research papers/Functional pearls - HaskellWiki

Friday, May 18, 2007

Haskell: del.icio.us tag/haskell

Programming haskell functional Patterns compsci

The zipper

Thursday, May 17, 2007

Almost every programmer has faced the problem of representing a tree together with a subtree that is the focus of attention, where that focus may move. The Zipper is Huet’s nifty name for a nifty data structure which fulfills this need.

Haskell: del.icio.us tag/haskell

Programming haskell functional essay compsci pearl system:filetype:pdf

Research papers/Functional pearls - HaskellWiki

Thursday, May 17, 2007

Functional pearls are elegant, instructive examples of functional programming. They are supposed to be fun, and they teach important programming techniques and fundamental design principles. They traditionally appear in The Journal of Functional Programmi

Haskell: del.icio.us tag/haskell

Development Programming haskell functional research algorithm compsci

Research papers/Functional pearls - HaskellWiki

Tuesday, May 08, 2007

Elegant, instructive examples of functional programming. Supposed to be fun, and teach important programming techniques and fundamental design principles. Traditionally appear in Journal of Functional Programming, and at ICFP and affiliated workshops.

Haskell: del.icio.us tag/haskell

WiKI Programming haskell education functional research compsci

A Neighborhood of Infinity: The Trivial Monad

Monday, April 30, 2007

Haskell: del.icio.us tag/haskell

blog haskell functional article devel compsci

totherme: Development With Types

Tuesday, April 10, 2007

Haskell: del.icio.us tag/haskell

Programming haskell functional compsci fp

A Neighborhood of Infinity: You Could Have Invented Monads! (And Maybe You Already Have.)

Thursday, March 29, 2007

Another monad explanation

Haskell: del.icio.us tag/haskell

Programming haskell functional technology blogs geek compsci

Why Functional Programming Matters

Monday, March 12, 2007

As software becomes more and more complex, it is more and more important to structure it well. Well-structured software is easy to write, easy to debug, and provides a collection of modules that can be re-used to reduce future programming costs. Conventio

Haskell: del.icio.us tag/haskell

Programming Lisp haskell functional scheme read_later compsci

Monads in functional programming - Wikipedia, the free encyclopedia

Saturday, March 03, 2007

Monads are used in functional programming to express input/output (I/O) operations and changes in state without using language features that introduce side effects.

Haskell: del.icio.us tag/haskell

Programming haskell functional compsci