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

A Haskell bookshelf ‽ programming musings

Sunday, January 20, 2008

recommendations for haskell books and tutorials

Haskell: del.icio.us tag/haskell

Software Language Programming Lisp haskell geek compsci

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

Computational Semantics and Type Theory :: PDF

Monday, November 05, 2007

Haskell: del.icio.us tag/haskell

Language Programming haskell type parsing semantic compsci

The Universe of Discourse

Friday, November 02, 2007

Haskell: del.icio.us tag/haskell

Programming blog perl haskell math compsci

Coalgebras and Automata

Monday, October 15, 2007

Haskell: del.icio.us tag/haskell

Programming haskell functional compsci category monad fold

GHC/Type families - HaskellWiki

Saturday, September 08, 2007

Haskell: del.icio.us tag/haskell

WiKI Programming haskell tutorials compsci references theory

Arrows for Secure Information Flow

Tuesday, September 04, 2007

Embedded security sublanguage for enforcing information-ﬂow policies in Haskel. Mechanisms include dynamic security lattices, run-time code privileges, declassiﬁcation.

Haskell: del.icio.us tag/haskell

Security haskell compsci types arrow system:filetype:pdf system:media:document

Notes on Haskell: Haskell: more than just hype?

Wednesday, August 22, 2007

Haskell: del.icio.us tag/haskell

Programming haskell compsci

Power serious: power series in ten one-liners

Tuesday, August 07, 2007

These Haskell functions implement operations on power series. Power series are represented as lists of numeric<sep/>

Haskell: del.icio.us tag/haskell

Programming haskell math analysis algorithm algebra 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