TOOLTypes in Object-Oriented Languages [TOOL homepage] |
Welcome to TOOL 2004The course is focused on anything and everything pertaining to the use of types in object-oriented languages. It is intended to provide a solid foundation within the basics of the subject (depth), as well as investigating a number of advanced, weird or extreme technologies and proposals (breadth). The official course description can be found here. The course takes place in the building Brødrene Vestergård, Finlandsgade 24 in room 164 Tuesdays 13.15-16.00. The first lecture is on Jan 27, the last on Mar 9. The lecturer is Mads Torgersen. The course work consists of lectures, reading, and real work. Lectures will be mostly by Mads, but also by some of you and a few invited guests. Reading will be mostly scientific papers, mostly electronically distributed, but with handouts if only available on paper. Real work means that you have to do a small bit of mandatory work in order to be allowed into the exam. |