General purpose programming language designed to express common programming patterns in a concise, elegant, and type-safe way.

Encyclopdia article including a definition, comparison, history, and examples.

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

Functional language in which types are first class values. Normal functions returning types reproduce the features of template classes of other languages. Links to many projects around the world based on Aldor.

John Hughes paper, dates from 1984, circulated as a Chalmers memo.

Offers documentation as a frequently asked questions list. Also provides links to general topic, technical and other resources.

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

A functional language designed for obscurity

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

BitC is a systems programming language that combines the low level nature of C with the semantic rigor of Scheme or ML.