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.
Source
Journey From Imperative to Functional Programming
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:
Source
Source
Subscribe to:
Posts (Atom)