On-Line References and Assorted Links
Lambda-Calculus and Functional Programming:
- Article Can
Programming be Liberated from the Von Neumann Style? A Functional
Style and its Algebra of Programs by John
Backus. Communications of the ACM, Vol. 21, No. 8,
- Article Conception,
Evolution and Application of Functional Programming Languages
by Paul Hudak. ACM Computing Surveys, Vol. 21, No. 3, Sep. 1989.
- Article Why
Functional Programming Matters by John Hughes. Computer Journal,
Vol. 32, No. 2, 1989.
- Site Frequently
Asked Questions for the Newsgroup on Functional Programming
5 (Lambda-Calculus) of Formal Syntax and Semantics of
Programming Languages by Ken Slonneger and Barry Kurtz.
Computability and Complexity:
Clocksin, W. and Mellish, C., "Programming in Prolog", Springer Verlag (various versions,
Bratko, I., "Prolog Programming for Artificial Intelligence", Addison-Wesley, 2000.
SWI Prolog web site
- For some of the papers above you will need to use one of the
machines in the "csd.abdn.ac.uk" domain in order to download them (e.g