The Theory of Classification, Part 1: Perspectives on Type Compatibility .
Anthony J. H. Simons · The Journal of Object Technology · 2002
Smalltalk, C++, Eiffel and Java can be analysed and compared, increasingly abstract definitions of type were presented.The next article in this series builds on the foundation laid here and deals with models of objects, methods and message-passing.