TOOL
Types in Object-Oriented Languages
[TOOL home]
[Course plan]
[Participants]
[Exam project]
[Literature]
[Links]
[Curriculum]
|
Course plan
The course plan is both tentative and incomplete, and
will remain so until the very end, as we might decide to do
any amount of changes. You can generally count on next week
being pretty accurate, whereas the following are mainly to
give some idea of what will be covered.
| Date | Subject | Literature |
|---|
| Apr 5 |
Introduction |
(No reading) |
| Apr 12 |
Generics in Java and .NET.
- Java Generics: GJ, NextGen and PolyJ
- Generics in .NET
See links
|
Lecture 2
|
| Apr 19 |
Object-oriented type theory |
Lecture 3 |
| Apr 26 |
Virtual types and Scala
See links
|
Lecture 4 |
| May 3 |
Variance mechanisms and the Covariance Problem |
Lecture 5 |
| May 10 |
- The expression problem
- Erik Ernst: Safe Dynamic Multiple Inheritance -
slides (pdf)
The expression problem in gbeta
(zip)
See links
|
Lecture 6 |
| May 17 |
Project presentations |
(No reading) |
|