Hide menu

Semantics of programming languages -- PhD course 2012

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 (unprotected access).

Page responsible: Wlodek Drabent
Last updated: 2012-10-19