A simple functional scripting language for Internet applications.

Member of Eden team. Articles.

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 d...

An extensible functional programming language based on the term rewriting calculus.

Information on monads and functional programming

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

Functional stack-based language inspired by Joy; main differences: Cat has static typing with type inferencing (like ML, Haskell), and term rewriting macro language extension language, MetaCat. Open-source, public domain.

A small functional programming language, with polymorphic typing, algebraic types, pattern matching and higher-order functions.

Claus Reinke's , well organized bookmarks on FP.

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.