Information
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, Aug. 1978.
- 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 (comp.lang.functional).
- Chapter 5 (Lambda-Calculus) of Formal Syntax and Semantics of Programming Languages by Ken Slonneger and Barry Kurtz.
- Description of Built-Ins and Libraries.
- The Haskell Home Page.
- Tutorial A Gentle Introduction to Haskell (Version 98, in many different formats).
- Web pages of Haskell: The Craft of Functional Programming (Second Edition), Simon Thompson.
- Dowload HUGS98 (available for Windows, MacOS, Linux, Unix), a functional programming system based in Haskell.
- Are you an emacs user? Have a look at this haskell-mode for emacs.
- Association for Logic Programming
- Clocksin, W. and Mellish, C., "Programming in Prolog", Springer Verlag (various versions, from 1981)
- Bratko, I., "Prolog Programming for Artificial Intelligence", Addison-Wesley, 2000.
- SWI Prolog web site
- Web-site on Alan Turing.
- Ironphoenix (TM Simulator)
- Wiesbaden, Germany (TM Simulator)
- xTuringMachine Lab, HWS College, USA (TM Simulator and Tutorial)
- Darmstadt, Germany (TM Simulator)
- New Mexico, Inst. of Mining and Technology (NMT) (TM Simulator in Perl)
- JavaScript TM Simulator from the Web-site on Alan Turing.
- 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 ACM papers). [an error occurred while processing this directive]