Next project

As announced informally in class today, our next homework/project will be a call-by-name DeBrujin interpreter. I strongly suggest using Haskell, ML, or Scheme, but you may use the language of your choice if you don't want to learn a new language. I'll post a more formal description shortly.



- Posted using BlogPress from my iPhone

Homework 1

Your first homework assignment is the following problems from the text:

5.2.4, 5.2.7, 5.2.8, 5.2.10, 5.2.11

I'll post a formal entry on the website shortly.