Date: Tue, 28 Feb 2006 19:50:30 -0300 (CLST) Subject: The Theory of Classification - A Course on OO Type Systems From: "andrew cooke" <andrew@... By A J H Simons - http://www.dcs.shef.ac.uk/~ajhs/publish.html Journal of Object Technology - http://www.jot.fm 1: Perspectives on Type Compatibility http://www.jot.fm/issues/issue_2002_05/column5 http://www.jot.fm/issues/issue_2002_05/column5.pdf 2: The Scratch-Built Typechecker http://www.jot.fm/issues/issue_2002_07/column4 http://www.jot.fm/issues/issue_2002_07/column4.pdf 3: Object Encodings and Recursion http://www.jot.fm/issues/issue_2002_09/column4 http://www.jot.fm/issues/issue_2002_09/column4.pdf 4: Object Types and Subtyping http://www.jot.fm/issues/issue_2002_11/column2 http://www.jot.fm/issues/issue_2002_11/column2.pdf 5: Axioms, Assertions and Subtyping http://www.jot.fm/issues/issue_2003_01/column2 http://www.jot.fm/issues/issue_2003_01/column2.pdf Part 6: The Subtyping Inquisition http://www.jot.fm/issues/issue_2003_03/column2 http://www.jot.fm/issues/issue_2003_03/column2.pdf 7: A Class is a Family of Types http://www.jot.fm/issues/issue_2003_05/column2 http://www.jot.fm/issues/issue_2003_05/column2.pdf 8: Classification and Inheritance http://www.jot.fm/issues/issue_2003_07/column4 http://www.jot.fm/issues/issue_2003_07/column4.pdf 9: Inheritance and Self-Reference http://www.jot.fm/issues/issue_2003_11/column2 http://www.jot.fm/issues/issue_2003_11/column2.pdf 10: Method Combination and Super-Reference http://www.jot.fm/issues/issue_2004_01/column4 http://www.jot.fm/issues/issue_2004_01/column4.pdf 11: Adding Class Types to Object Implementations http://www.jot.fm/issues/issue_2004_03/column1 http://www.jot.fm/issues/issue_2004_03/column1.pdf 12: Building the Class Hierarchy http://www.jot.fm/issues/issue_2004_05/column2 http://www.jot.fm/issues/issue_2004_05/column2.pdf 13: Template Classes and Genericity http://www.jot.fm/issues/issue_2004_07/column2 http://www.jot.fm/issues/issue_2004_07/column2.pdf 14: Modification and Objects like Myself http://www.jot.fm/issues/issue_2004_09/column2 http://www.jot.fm/issues/issue_2004_09/column2.pdf 15: Mixins and the Superclass Interface http://www.jot.fm/issues/issue_2004_11/column1 http://www.jot.fm/issues/issue_2004_11/column1.pdf 16: Rules of Extension and the Typing of Inheritance http://www.jot.fm/issues/issue_2005_01/column2 http://www.jot.fm/issues/issue_2005_01/column2.pdf 17: Multiple Inheritance and the Resolution of Inheritance Conflicts http://www.jot.fm/issues/issue_2005_03/column2 http://www.jot.fm/issues/issue_2005_03/column2.pdf 18: Polymorphism Through the Looking Glass http://www.jot.fm/issues/issue_2005_05/column1 http://www.jot.fm/issues/issue_2005_05/column1.pdf 19: The Proliferation of Parameters http://www.jot.fm/issues/issue_2005_07/column4 http://www.jot.fm/issues/issue_2005_07/column4.pdf 20: The Modular Checking of Classtypes http://www.jot.fm/issues/issue_2005_09/column1 http://www.jot.fm/issues/issue_2005_09/column1.pdf Andrew