CS4026: 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. Haskell: 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. Logic Programming: WWW Virtual Library: Logic Programming Association for Logic Programming Prolog: 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 Computability and Complexity: 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. Notes: 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).