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
http://softlang.wikidot.com/course:plt
Copyright
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.
https://svn.uni-koblenz.de/softlang/main/courses/paradigms1011/students/
Access rights will be granted by the lab assistent eventually.
Contact the lab assistant for svn-access-related requests.
Acknowledgement
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: rlaemmel@gmail.com)