Learn more about Functional from our Languages directory

Afnix Programming Language - 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

Alcool-90 (FTP) - Alcool-90 is an experimental extension of ML with run-time overloading and a type-based notion of modules

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

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

Charity - Functional

Eden - A functional language that aims at the programming of reactive systems and parallel algorithms on distributed memory systems.

Extended ML - EML is a framework for specification and formal development of Standard ML programs.

FAQ for comp.lang.functional - Offers documentation as a frequently asked questions list. Also provides links to general topic

FISh - A novel functional language that claims to be faster than C in some cases.

Functional Programming - Claus Reinke's extensive

Functional Programming in the Real World - Lists functional programs written primarily to perform to real-world tasks. Has pure programs (no side effects) and impure (some use of side effects). Languages: Caml

Functional Programming Languages in Education - A collection of information on the use of functional programming in teaching.

HAL - A strongly typed

Heriot-Watt University - Edinburgh

Hope - A small functional programming language

Joy - Pure functional language based on function composition rather than application; concatenative language

Lemon - Functional language with inductive and coinductive types. Based on simply-typed lambda calculus augmented with sums

Mondrian - A simple functional scripting language for Internet applications.

NESL: A Parallel Programming Language - NESL is a parallel language with functional flavor developed at Carnegie Mellon by the SCandAL project.

OPAL Project - Researches programming environment where advanced language concepts and formal development methods are used to make production-quality software. Strongly typed

Pizza - an extension of Java with functional features: parametric polymorphism

PLAN: A Packet Language for Active Networks - A resource-bounded functional programming language that uses a form of remote procedure call to realize active networking.

Q Equational Programming Language - An extensible functional programming language based on the term rewriting calculus.

Readscheme.org - Resources for Functional Programming - A variety of research resources on functional programming languages

Rita Loogen - Member of Eden team. Articles.

Scala - A general purpose programming language with a special focus on web services. It combines object-oriented

The Abyss of Functional Language - a collection of links relating to FP

The Unlambda Programming Language - A functional language designed for obscurity

Tsukuba SCORE - Symbolic Computation Research Group at Tsukuba: combining functional and logic programming

Tutorial Papers in Functional Programming - John Hughes' list of FP-related tutorials and courses.

Wadler: Monads - Information on monads and functional programming

What the hell are Monads? - A basic introduction to monads