FunctionalProgramming

Why Functional Programming Matters or http://www-128.ibm.com/developerworks/library/l-highfunc.html?ca=dgr-lnxw07Functions

How map/reduce style programming helps to build parallel systems at google: http://labs.google.com/papers/mapreduce.html .

http://research.microsoft.com/~simonpj/papers/slpj-book-1987/index.htm

Another example of a functional programm http://www.cs.wisc.edu/~ghost/index.html

Some notes from the relegious wars home site at that topic http://slashdot.org/article.pl?sid=00/07/01/2321210

Lambda the Ultimate http://www.xml.com/pub/a/2002/02/06/rest.html is a weblog dedicated to functional programming and a good reference to go to.

aspect oriented programming (automated general code structure) http://www.stanford.edu/~amitp/Java/amgoyal/aop.html Looks somehow like I used to structure rdp the xml parser and now xslt. I know it's hard to read without language support.

A bird eyes view on programming languages: http://www.cis.upenn.edu/~bcpierce/papers/tng-lics2003-slides.pdf

Dependant types: http://lambda-the-ultimate.org/node/view/693 a flexible approach to the balance between formal verification and price.

Functional Programming Languages

Note, these are only a few example. I keep them here either because they:

have special importance http://www.haskell.org

are somehow connected with the Askemos implementation DSSSL

look interesing http://www.musikwissenschaft.uni-mainz.de/~ag/q/

look interesting for style and education http://www.haskell.org/pipermail/haskell/2002-April/009503.html and http://www.nongnu.org/needle/

Concern proofability of programs (and among other facts show that functional programming actually increases productivity): http://www.informatik.uni-bremen.de/uniform/ (german)

Concern refactoring http://www.cs.ukc.ac.uk/research/groups/tcs/fp/Refactor/