Hide menu

Semantics of programming languages -- PhD course 2016

Resources

  • Lecture slides directory.
  • Home assignments directory.
  • The textbook's home page
  • Slides to the first edition of the textbook are available from this directory at the books's www site and from here. (The slides at the book's site are in dvi format, use dvips or dvipdf to produce other formats, use xdvi or YAP to view it. I have used this shell script to convert them into postscript).
  • The course's page at IDA
  • The 2012 course's homepage.

Page responsible: Wlodek Drabent
Last updated: 2016-03-31