Homework assignment 1: Formal Specifications. Solutions.
Homework assignment 2: Scheme (mostly). Solutions.
Homework assignment 3: Scheme HOFs and Types Systems. Solutions, solution to question 6: Type equivalence in C.
Homework assignment 4: Basic Prolog. Solutions.
Homework assignment 5: Prolog and Procedural Languages. Solutions.