CS312

Structure and Interpretation of Computer Programs
Spring 2002

Computer Science Department
Cornell University

Announcements:

• Enjoy your summer!
• Stats for PS6, the final exam, and grades are now available.

• Course Overview
• Schedule and Notes
• Installing Course Software
• FAQ
• Announcement Archive

• Assignments
• Submission (instructions)
• Grades
• Statistics by Assignment

• ML Style Guide
• Net and Email Guidelines
• The Code of Academic Integrity

• User's Guide
• Basis Library Manual
• SML/NJ Library Manual
• Programming in Standard ML, Robert Harper
• Notes on Programming in SML/NJ, Riccardo Pucella

• Notes on using the SML/NJ Library
• Emacs Quick Reference
• Mathematical Induction
• Induction Examples
• Induction Exercises
• Lempel-Ziv compression
• Environment Model Handout
• Prelim 2 sample 1 (solutions)
• Prelim 2 sample 2
• Prelim 2 sample 3 (solutions)
• Sample Final 1
• Sample Final 2 (pictures)
• Sample Final 3