Eden Parallel functional language to program reactive systems and parallel algorithms using distributed memory. Extends Haskell, but overrules lazy evaluation whenever needed to support parallelism. http://www.mathematik.uni-marburg.de/~eden/ Uni-marburg.de~Site InfoWhoisTrace RouteRBL Check
PLAN: A Packet Language for Active Networks 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. http://www.cis.upenn.edu/~dsl/PLAN/ Upenn.edu~Site InfoWhoisTrace RouteRBL Check
The Pizza Compiler Java extension with functional features: generics (parametric polymorphism), function pointers (first-class (higher-order) functions), class cases and pattern matching (algebraic (data)types). http://pizzacompiler.sourceforge.net/ Sourceforge.net~Site InfoWhoisTrace RouteRBL Check
Links: Linking Theory to Practice for the Web 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. http://groups.inf.ed.ac.uk/links/ Ed.ac.uk~Site InfoWhoisTrace RouteRBL Check
Cat Functional stack-based language inspired by Joy; main differences: Cat has static typing with type inferencing (like ML, Haskell), and term rewriting macro language extension language, MetaCat. Open-source, public domain. http://www.cat-language.com/ Cat-language.com~Site InfoWhoisTrace RouteRBL Check