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.

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

A Haskell-like language with a powerful type system based on dependent types.

Pure functional language based on function composition rather than application; concatenative language, very like Forth, inputs and outputs stacks, but with higher-level data types and sound mathematical foundation. [Open Source, BSD]

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

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

The 2002 International Conference on Functional Programming covers the entire spectrum of functional programming, from practice to theory, and from established functional programming languages (Scheme, ML, Haskell) to novel language designs and to the...

Functional language to solve impedance mismatch problem by using one language for all 3 tiers of web programming: front-end browser, middle-tier server, back-end database; people, mail lists, papers, talks, wiki, downloads.

A simple functional scripting language for Internet applications.

Parallel functional language developed at Carnegie Mellon, SCandAL project. Most important new ideas: nested data parallelism, language based performance model.