Functional Programming Languages

• AFNIX Programming Language  - Highlights multi-threaded functional programming language with dynamic symbol bindings that support the object-oriented paradigm.
• CDuce  - Introduces a modern XML-oriented functional language with innovative features. Read on online documentation, examples, and features of the language.
• CHARITY Home Page  - Scan for information about a categorical programming language currently being developed by The Charity Development Group based on the theory of strong categorical datatypes.
• Eden: Parallel Functional Programming  - Explains features of a language which allows programmers to gain enough control to implement their parallel algorithms efficiently and at the same time frees them from the low level details of process management.
• Hope  - Details information on a small functional programming language, with polymorphic typing, algebraic types, pattern matching and higher-order functions.
• OPAL Project  - Deals with research into a programming environment in which advanced language concepts and formal development methods can be used for creating production-quality software.
• Packet Language For Active Networks  - In order to implement a working network packet programming, this language uses a form of remote procedure.
• Pizza Compiler  - Tackles on an open source compiler made for a Java superset.
• Q - Equational Programming Language  - Features a free software based on term rewriting.
• The Unlambda Programming Language  - Presents a programming language suited for obscurity.