You can view the materials for previous semesters by following the links below.

• Spring 03
• Fall 02
• Spring 02
• Fall 01
• Spring 01
• Fall 00
• Spring 00
• Spring 99
• Fall 98
• Fall 97
• Fall 96
• Spring 96

Reference documents you might want to look at are:

• The Syntax Module (A Self-Test with Answers accompanies it)
• Topic lists for the first test
• Topics lists for the final exam.
• Examples questions for the first test
• First test given in Fall 98
• First test given in Spring 01, with sample answers
• Take-home final given in Fall 00, with sample answers.
• Activation records in static scoping
• Operational semantics
• Axiomatic semantics
• Denotational semantics
• Rigal Man Page
• Notes on using Rigal
• RIGAL language description and A RIGAL presentation
• A RIGAL interpreter for a simple language
• A RIGAL interpreter for a language with declarations
• Notes on the Lambda Calculus
• Scheme-- in Scheme - a simple interpreter and Two ways to handle recursion
• A Gentle Introduction to ML
• The latest ML documentation
• A C++ Concept Map
• How Prolog Can Do Arithmetic
• What is Postscript?
• The Scheme Report
• Parsing Techniques - A Practical Guide (Title page)
• The Evolution of Programming Languages