A collection of information on the use of functional programming in teaching.

Functional, categorical language, by University of Calgary, Canada. Innovative organization: based on theory of strong categorical datatypes divided into 2 subclasses: inductive (built up by constructors in the familiar way), and coinductive (broken down by destructors).

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 protection engine for shared objects. Successor of Aleph.

An XML centric programming language with higher order, semantic subtyping, pattern matching and overloading, and open source implementation.

Clear growing definition, comparison, history, examples, defense. [Wikipedia]

NESL is a parallel language with functional flavor developed at Carnegie Mellon by the SCandAL project.

Compiled, garbage collected; merges ideas and syntax (impure s-expression) of functional languages (Lisp Sheme) with close hardware interaction of low-level languages (C). Emits C source code.

Functional language developed mainly for Genetic Programming experiments. Inspired by ideas of other small, esoteric languages (Unlambda, Lazy K, Joy, Iota, Zot, ...), and pure functional Haskell.

Parallel functional language to program reactive systems and parallel algorithms using distributed memory. Extends Haskell, but overrules lazy evaluation whenever needed to support parallelism.

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