TOOLTypes in Object-Oriented Languages [TOOL home] |
Welcome to TOOL 2005The 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 Shannon 157, Finlandsgade 24 Tuesdays 9.15-12.00. The first lecture is on Apr 5, the last on May 17. 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 project in groups, a report of which constitutes your exam. The previous instance of the course was run in Q3 of 2004; here are the web pages. |