Theory of Classification
The theory of classification part 9: inheritance and self-reference
... We have constructed two different models of implementation inheritance and found that these correspond broadly to the mechanisms used in the major object-oriented languages. The core idea of extending and modifying ...
11
The theory of classification part 13: template classes and genericity
... We have shown how parametric polymorphism, also known as templates in C++ and genericity in Ada and Eiffel, can be added to the Theory of Classification. We demonstrated how generic types could be created ...
12
The theory of classification part 1: perspectives on type compatibility
... type theory, aimed specifically at ...of classification has for long been a fascinating issue for type theory, chiefly because no other programming paradigm has so sought to establish systematic sets ...
8
The theory of classification part 2: the scratch-built typechecker
... This is the second article in a regular series on object-oriented type theory, aimed specifically at non-theoreticians. Eventually, we aim to explain the behaviour of languages such as Smalltalk, C++, Eiffel and ...
9
The theory of classification part 20: modular checking of classtypes
... the Theory of Classification in ...of classification, for example, that the simple types Integer and Boolean are first-class members of the class/type hierarchy and fit underneath an abstract class ...
13
The theory of classification part 3: object encodings and recursion
... This is the third article in a regular series on object-oriented type theory, aimed specifically at non-theoreticians. Eventually, we aim to explain the behaviour of languages such as Smalltalk, C++, Eiffel and ...
10
The theory of classification part 4: object types and subtyping
... type theory, aimed specifically at non-theoreticians. The "Theory of Classification" will explain the behaviour of languages such as Smalltalk, C++, Eiffel and Java in a consistent framework, ...
10
The theory of classification part 16: rules of extension and the typing of inheritance
... The Theory of Classification describes two models of inheritance, one a first-order model based on subtyping (Java, C++) and the other a second-order model based on subclassing (Smalltalk, ...
14
The theory of classification part 18: polymorphism through the looking glass
... type theory, we look at how object-oriented languages might evolve in the future, given that the formal notion of class is now better understood than at the ...the Theory of Classification, showing ...
13
The theory of classification part 19: the proliferation of parameters
... The Theory of Classification is an informal series of articles considering the formal notions of type and class in object-oriented languages. The series began by constructing models of objects, types, and ...
13
The theory of classification part 8: classification and inheritance
... the theory of classification, using Cook's F-bounded quantification to express the idea that a class is a family of types that share a minimum common ...
11
The theory of classification: part 14: modification and objects like myself
... We started this article with a discussion of how to model object state updates in the Theory of Classification. In λ-calculus, variable reassignment is prohibited, but the same effect may be approximated by ...
13
The theory of classification part 17: multiple inheritance and the resolution of inheritance conflicts
... This says that “two records father and mother of the respective types Father and Mother may be merged, if these types satisfy a merging type-constraint Μ. The result of the merger is a map containing the union of fields ...
13
The theory of classification part 12: building the class hierarchy
... This is the twelfth article in a regular series on object-oriented type theory for non- specialists. Readers following the series will by now have gained some experience in theoretical models and their uses. ...
13
The theory of classification part 11: adding class types to object implementations
... type theory, aimed specifically at non-theoreticians. In the Theory of Classification, we have so far considered the typeful aspect of classes [1, 2] and their implementation aspect [3, 4] ...of ...
14
The theory of classification part 7: a class is a type family
... This is the seventh article in a regular series on object-oriented type theory, aimed specifically at non-theoreticians. So far, we have built up a model of objects as simple records, which are instances of ...
11
The theory of classification part 15: mixins and the superclass interface
... This is the fifteenth article in a regular series on object-oriented type theory for non- specialists. Earlier articles have built up λ-calculus models of objects [1], classes [2], inheritance [3, 4] and generic ...
13
The theory of classification part 5: axioms, assertions and subtyping
... Mathematicians have been experimenting with notions of abstract types and classification since the early part of the 20th century. Much of this work falls within the remit of formal algebra and category ...
10
A Theory of Classification
... Attempts to find direct evidence of misleading classifications, however, point to a different story. Riedl and Srinivasan (2010) find that signaling, rather than deceiving, better explains firms’ classification ...
31
The theory of classification - part 10: method combination and super-reference
... Classification is the hierarchical relationship between classes, whereby one class is judged to be a subclass of another, according to type rules governing subclassing [2]. Inheritance, on the other hand, is a ...
12