Various Lecture Notes

Lecture note on polymorphic type inference

POPL'94 tutorial on developments in object-oriented type systems

OOPSLA'96 tutorial on types for the language designer

Lecture note on object-oriented type systems: principles and applications

Lecture note on introductory programming (in Danish)