1. The Essence of Dependent Object Types
2. A monotonic superclass linearization for Dylan
3. Gilad Bracha Norman Cohen Christian Kemper Martin Odersky David Stoutamire Kresten Thorup and Philip Wadler. 2003. Adding Generics to the Java Programming Language: Public Draft Specification Version 2.0. http://www.javainthebox.net/laboratory/J2SE1.5/LangSpec/Generics/materials/adding_generics-2_2-ea/spec10.pdf Gilad Bracha Norman Cohen Christian Kemper Martin Odersky David Stoutamire Kresten Thorup and Philip Wadler. 2003. Adding Generics to the Java Programming Language: Public Draft Specification Version 2.0. http://www.javainthebox.net/laboratory/J2SE1.5/LangSpec/Generics/materials/adding_generics-2_2-ea/spec10.pdf