The Theory of Classification, Part 11: Adding Class Types to Object Implementations

Abstract

Eventually, we must link the type and implementation aspects together, since this is how type rules are properly presented. In a type rule, the aim is to be able to derive the resulting type of some expression, given the types of the values that make up this expression. We would like to show, for example, that the result of extending an object with extra fields is itself a well-typed expression. To do this, we must somehow attach the class-type information to the object-values.

Cite as:

Anthony J.H. Simons, “The Theory of Classification, Part 11: Adding Class Types to Object Implementations”, Journal of Object Technology, Volume 3, no. 3 (March 2004), pp. 7-19, doi:10.5381/jot.2004.3.3.c1.