Sponsored Links:
ICFP 2002 (Popularity:  )
http://icfp2002.cs.brown.edu/
The 2002 International Conference on Functional Programming covers the entire spectrum of functional programming, from practice to theory, and from ...
|
Why Functional Programming Matters (Popularity: )
http://www.cs.chalmers.se/~rjmh/Papers/whyfp.html
John Hughes paper, dates from 1984, circulated as a Chalmers memo.
|
The Unlambda Programming Language (Popularity: )
http://www.eleves.ens.fr:8080/home/madore/programs/unlambda/
A functional language designed for obscurity
|
NESL: A Parallel Programming Language (Popularity: )
http://www-2.cs.cmu.edu/~scandal/nesl.html
NESL is a parallel language with functional flavor developed at Carnegie Mellon by the SCandAL project.
|
Tutorial Papers in Functional Programming (Popularity: )
http://www.cs.chalmers.se/~rjmh/tutorials.html
John Hughes' list of FP-related tutorials and courses.
|
Cayenne (Popularity: )
http://www.cs.chalmers.se/~augustss/cayenne/
A Haskell-like language with a powerful type system based on dependent types.
|
Aldor (Popularity: )
http://www.aldor.org/
Functional language in which types are first class values. Normal functions returning types reproduce the features of template classes of ...
|
Pizza (Popularity: )
http://www.cis.unisa.edu.au/~pizza/
an extension of Java with functional features: parametric polymorphism, first-class (higher-order) functions, algebraic datatypes and pattern-matching.
|
Mondrian (Popularity: )
http://www.mondrian-script.org/
A simple functional scripting language for Internet applications.
|
OPAL Project (Popularity: )
http://uebb.cs.tu-berlin.de/~opal/
Researches programming environment where advanced language concepts and formal development methods are used to make production-quality software. Strongly typed, higher-order, ...
|
Readscheme.org - Resources for Functional Programming (Popularity: )
http://readscheme.org/
A variety of research resources on functional programming languages, implementation, and applications of functional programming languages.
|
Rita Loogen (Popularity: )
http://www.mathematik.uni-marburg.de/~loogen/
Member of Eden team. Articles.
|
Joy (Popularity: )
http://www.latrobe.edu.au/philosophy/phimvt/joy.html
Pure functional language based on function composition rather than application; concatenative language, very like Forth, inputs and outputs stacks, but ...
|
FAQ for comp.lang.functional (Popularity: )
http://www.cs.nott.ac.uk/~gmh//faq.html
Offers documentation as a frequently asked questions list. Also provides links to general topic, technical and other resources.
|
Lemon (Popularity: )
http://www.cis.ksu.edu/~bhoward/lemon.html
Functional language with inductive and coinductive types. Based on simply-typed lambda calculus augmented with sums, products, and mu and nu ...
|
Scala (Popularity: )
http://lamp.epfl.ch/scala/
A general purpose programming language with a special focus on web services. It combines object-oriented, functional and concurrent elements. It ...
|
HAL (Popularity: )
http://www.csse.monash.edu.au/~mbanda/hal/
A strongly typed, weakly moded, constraint logic/functional language designed to support the construction and extension and use of new constraint ...
|
Extended ML (Popularity: )
http://www.dcs.ed.ac.uk/home/dts/eml/
EML is a framework for specification and formal development of Standard ML programs.
|
Hope (Popularity: )
http://www.soi.city.ac.uk/~ross/Hope/
A small functional programming language, with polymorphic typing, algebraic types, pattern matching and higher-order functions.
|
Q Equational Programming Language (Popularity: )
http://www.musikwissenschaft.uni-mainz.de/~ag/q/q.php
An extensible functional programming language based on the term rewriting calculus.
|
