TOOL

Types in Object-Oriented Languages

[Curriculum]

Curriculum

The list of literature that one must account for in the exam report (i.e. not demonstrate not to know) consists of all the non-optional reading from the literature list:

Bracha et.al.: Making the Future Safe for the Past - Adding Genericity to the Java Programming Language (pdf)

Myers et.al.: Parameterized Types for Java (ps)

Kennedy and Syme: The Design and Implementation of Generics for the .NET Common Language Runtime (pdf)

Igarashi, Pierce and Wadler: Featherweight Java - A Minimal Core Calculus for Java and GJ (pdf)

Luca Cardelli: Structural Subtyping and the Notion of Power Type(pdf)

Thorup and Torgersen: Unifying Genericity - Combining the Benefits of Virtual Types and Parameterized Classes (pdf)

Odersky et.al.: An Overview of the Scala Programming Language (pdf)

Bruce et.al.: On Binary Methods (ps)

Torgersen: Virtual Types are Statically Safe (ps)

Torgersen et.al.: Adding Wildcards to the Java Programming Language (pdf)

Wadler: The Expression Problem (txt)

Bruce: Some Challenging Typing Issues in Object-Oriented Programming Languages (pdf)

Torgersen: The Expression Problem Revisited - Four New Solutions Using Generics (pdf)