This course is a forerunner for a proposed regular course at DTU, intended for students having completed 3 years of their study towards an engineering degree in informatics.
The course is based on The Structure of Typed Programming Languages, by David A. Schmidt, MIT Press 1994.
An errata list, of 22 November 1995, has kindly been submitted by the author. This is a separate postscript document.
Additions to the errata list and comments is being accumulated during the spring of 1996. This is a dvi document.
Contact: Jørgen Steensgaard-Madsen, for instance using email