Slide decks

See this course's slides for any specific credits given to any of the following slide decks.

Book recommendations

The book by Pierce (available from the library) is strongly recommended as it covers a broad range of (operational) semantics and typing in a modern and widely praised manner. Some of the lectures will follow the book. The Haskell book by Hutton (available from the library) may not be needed for students with existing background in functional programming, or with access to another introduction to functional programming (with Haskell). In fact, the lecture and the lab may just provide enough material and pointers to suffice without a book on Haskell. Students who want to study Haskell more systematically and who are generally in favor of learning from books should consider this recommendation though. The book by Nielson and Nielson (available online [.pdf]) is recommended as it provides some general overview on formal semantics approaches and illustrations of the use of formal semantics. Some of the lectures will follow the book.

Further reading