Basic introduction to monads, monadic programming, and I/O.

A multi-threaded functional programming language with dynamic symbol bindings which provides a state of art runtime engine for 32- and 64-bit platform and a rich set of platform independent libraries, compatible with C++ runtime operations, automatic ...

Brief article, explains what they are, and how and why their popularity is growing; with links and reader comments. Linux Journal.

Functional language with inductive and coinductive types. Based on simply-typed lambda calculus augmented with sums, products, and mu and nu constructors for least (inductive) and greatest (coinductive) solutions to recursive type equations.