EECS 662

Programming Languages


Hutton Papers

In class I mentioned a paper by Graham Hutton called “Fold and Unfold for Program Semantics”. I’ve uploaded a tarball that includes the paper and a companion paper I wrote that includes Haskell sources for programs in the paper. Hutton is an oustanding writer, so I think you will enjoy the paper if you are interested in generalizing the interpreter pattern we’ve been using in class.