Friday, September 18, 2009

The best description of Functional Programming

The posting for PhD student position in Ultrech University in Holland seem to have the best description of functional programming I have seen:

Lambda-calculus and term rewriting are models of computation lying at the basis of functional programming languages. Both possess syntactic meta-theories based on analyzing rewrite steps.