BIB-VERSION:: CS-TR-v2.0
          ID:: STAN//CS-TN-96-30
       ENTRY:: January 16, 1996
ORGANIZATION:: Stanford University, Department of Computer Science
       TITLE:: The Development of Type Systems for Object-Oriented Languages
        TYPE:: Technical Note
      AUTHOR:: Fisher, Kathleen
      AUTHOR:: Mitchell, John C.
        DATE:: January 1996
       PAGES:: 54
    ABSTRACT:: This paper, which is partly tutorial in nature, summarizes
               some basic research goals in the study and development of
               typed object-oriented programming languages. These include
               both immediate repairs to problems with existing languages
               and the long-term development of more flexible and
               expressive, yet type-safe, approaches to program organization
               and design. The technical part of the paper is a summary and
               comparison of three object models from the literature. We
               conclude by discussing approaches to selected research
               problems, including changes in the type of a method from
               super class to sub class and the use of types that give
               information about the implementations as well as the
               interfaces of objects. Such implementation types seem
               essential for adequate typing of binary operations on
               objects, for example.
       NOTES:: [Adminitrivia V1/Prg/19960116]
         END:: STAN//CS-TN-96-30