Java extension with functional features: generics (parametric polymorphism), function pointers (first-class (higher-order) functions), class cases and pattern matching (algebraic (data)types).

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

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.

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, Clean, Erlang, Haskell, Miranda, Scheme, Standard ML.

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]

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

A variety of research resources on functional programming languages, implementation, and applications of functional programming languages.

John Hughes' list of FP-related tutorials and courses.

Resource-bounded functional language that uses a form of remote procedure call to realize active networking. Part of the SwitchWare Project. Descriptions, documents, downloads, contacts, links.

Researches programming environment where advanced language concepts and formal development methods are used to make production-quality software. Strongly typed, higher-order, strict, pure FL; so can be classed with ML, Haskell, and other modern FLs. B...