- hw #1: MiniML evaluator, and an addendum to the assignment; solution
- hw #2: MiniML typechecker; solution; sound version
- hw #3: MiniML type inferencer; a complete sample solution is available at /cse/courses/cse505/02au/hw3-solution; one using the CM (re)compilation manager [very cool; check it out] is in /cse/courses/cse505/02au/hw3-solution-CM
- hw #4: Formal Semantics for Maps; solution
- hw #5: Self interpreter; solution
- hw #6: Self type system; simple non-recursive solution; nice solution with recursive types; clunky solution with recursive types