Just an unordered list of stuff I've worked on in the past.

• Practical denotational semantics PDF (189k)

  No, the Rube Goldberg-esque baroqueness of implementing an imperative language by way of a functional language has not escaped me. No, I most assuredly did not claw my way out of a sanitarium.