Programming Paradigms and Formal Semantics

Winter Semester 2010/11

Prof. Dr. Ralf Lämmel

Instructor (Lecture): Prof. Dr. Ralf Lämmel
Assistant (Lab): Sebastian Jackel

Timeless course site


All material is (C) Ralf Lämmel, unless stated otherwise.
Part of the material has been derived from work by others; see the particular files for credits.

Lecture schedule with linked slides

Important links

Information on svn access

All solutions for the assignments are to be submitted to svn.
You need to have access to the following repository.
Access rights will be granted by the lab assistent eventually.
Contact the lab assistant for svn-access-related requests.


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

maintained by Ralf Lämmel (Email: