Homepage for cis 624, spring 1996

Assignments

• Assignment 1 (ps file, solution)
• Assignment 2 (questions, solution)
• Scheme Test (solution)
• Assignment 3 (ps file, solution)
• Assignment 4 (ps file, HTML version, solution)
• Midterm (solution)
• Assignment 5 (ps file)
• Assignment 6 (ps file)
• Assignment 7 (HTML file)

Code

• Encoding of natural numbers in the lambda calculus (Scheme code)
• Rewriting of lambda terms using beta reductions (run /cs/classes/cis624/code/rewrite filename)

Java

• On-line documentation ...