• LISP material
• KCL (Lisp) Manual
• Clisp: A modern, object-oriented Lisp system
• Other On-Line Lisp tutorials
• David B. Lamkins. "Successful Lisp: how to understand and use common Lisp".
• The Adaptive Remote Tutor
• Lisp Tutorial (NYU)
• Common Lisp, the Language (2nd Edition)
• An Introduction to Common Lisp (JHU)
• Common Lisp HyperSpec
• Other Lisp References
• Lisp History
• Foundations of Functional Programming / Lambda Calculus
• An SECD machine simulator A Lisp implementation of the SECD machine
• Boost Lambda Library -- library for implmenting LAMBDA ABSTRACTIONS within C++
• PROLOG/Logic Programming material
• Sicstus Prolog Manual
• Running-Prolog [RG]
• Data Structures in Prolog [RG]
• Adventure in Prolog
• On-line guide to Prolog programming
• Logic programming and Prolog, a book by Ulf Milsson and Jan Matuszynski
• Foundations of Logic (Programming)
• Glossary of First Order Logic. A useful reference about terminologies
• Foundations of Computing (in general)
• Culberson's notes
• Greenlaw&Hoover: Fundamentals of the Theory of Computation
• Halting Problem

• Midterm
• Final

Sample Exams

• Midterms
• A2 1994
• A1 1996
• B2 1997
• Fall2002 + solution
  
• Fall2003 (Mueller) + solution
• Another sample
• and another
• Midterm (You) + solution
  

• Final Examples
• Fall2001 (You)
• Fall2002 (Mueller)
• 1994

• Questionaire

• General
  MacLennan, "Principles of Programming Languages 3/e", ISBN 0195113063
• LISP
• Examples of Recursive Functions (20 Jan 1998)
• Lisp Examples (18 Sept 1997)
• Builtin Lisp Functions Introduced in Class (24 Sept 1997)
• An example discussed on Oct. 14, 1997 (Interpreter)
• Lambda Calculus
• Slides used on Oct. 16, 1997 (Interpreter)
• Slides used on Oct. 30 and Nov. 4, 1997 (Interpreter and SECD Machine)
• Prolog
• Prolog Examples (31 Mar 1998)

• Mueller's Fall2003 Course
• You's Winter2004 Course
• Marsha Chechik's CS324 Programming Languages (UofT)