CSE 505 Homework Assignments Archive

• 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