CS 131: Assignments
Fall 2000

Homework assignments

• Assignment 1: SML Programming. Out 8/31, Due 9/8. [Sample Solution]
• Assignment 2: Type Soundness. Out 9/14, Due 9/22. [LaTeX source] [Style file for typesetting code] [NQSML handout source][Sample Solution]
• Assignment 3: Manipulating NQSML Syntax. Out 9/22, Due 9/29. [assign3.sml] [assign3-tests.sml] [Sample Solution]
• Assignment 4: Continuations. Out 10/10, Due 10/20. [assign4.sml] [Sample Solution]
• Assignment 5: Static Scope and Modules. Out 10/20, Due 10/27. [Sample Solution]
• Assignment 6: Type Inference. Out 10/3, Due 11/10. [Sample Solution]
• Assignment 7: Polymorphism, Subtyping and Lambda-Calculus. Out 11/10, Due 11/17. [Sample Solution]
• Assignment 8: Implementing Theory Out 11/28, Due 12/5. [assign8.sml]