- AFNIX Programming Language
- Highlights multi-threaded functional programming language with dynamic symbol bindings that support the object-oriented paradigm.
- Arbol Programming Language
- Includes introduction, tutorials, examples and downloads of the language.
- Cayenne
- Explains uses of a functional language with a powerful type system like functions which includes products and sums.
- 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.
- The Fish Homepage
- Know more about an array language that performs static shape analysis.
- 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.
|