Acyclic Term Graph Histories, a project to express
compilation and execution as an acyclic term graph rewrite history that
can be displayed.
Computer Science 51, summer 1996,
handouts for this standard Harvard CS course that
I recently taught in the summer school, with extensive
revisions to streamline the first 60% of the standard course and
increase its theoretical content.
Computer Science 96,
a System Design Projects course in which the students form
a company roughly similar to a government software contractor.