Following is a collection of online resources that may be
useful for the course or are things I thought would be
interesting to people looking a programming language
semantics. You may also run across some things that are
just plain silly as well.
The official syllabus for the course.
Home of all things Haskell related.
Winskel is (almost) right is a paper and accompanying
Isabelle theories that explore the first 100 pages of
Winskel's text. A paper and the Isabelle theories are
included. Pretty interesting if you took EECS 755 when
we used Isabelle.
Graham Hutton's wonderful paper on fold and unfold for
defining program semantics
Notes on Graham Hutton's paper as well as executable
code
Duponcheel's paper on writing modular interpreters
Notes on Duponcheel's paper including exectuable code
A comprehensive bibliography of Haskell papers