Three different approaches to type checking have been taken in object-oriented programming languages. Smalltalk-80 uses run-time type checking. C++ uses subtypes. A third alternative is to use parameterized types. We examine the difficulties of programming in an object-oriented fashion with compile-time type checking and argue that parameterized types are better...
In this report, a response is given to the charge of this study. Volume I: Summary Report includes a synopsis of the technical considerations followed by the main findings and recommendations. The full technical background for these summary statements is given in detail in Volume II: Technical Background Report, and...