A type system for Smalltalk

This paper describes a type system for Smalltalk that is type-safe, that allows most Smalltalk programs to be type-checked, and that can be used as the basis of an optimizing compiler.

[1]  Andrew P. Black,et al.  Object structure in the Emerald system , 1986, OOPSLA 1986.

[2]  Scott Danforth,et al.  Type theories and object-oriented programmimg , 1988, CSUR.

[3]  Craig Chambers,et al.  An efficient implementation of SELF, a dynamically-typed object-oriented language based on prototypes , 1991 .

[4]  Craig Schaffert,et al.  An introduction to Trellis/Owl , 1986, OOPSLA 1986.

[5]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

[6]  Ravi Sethi,et al.  A semantic model of types for applicative languages , 1982, LFP '82.

[7]  Ralph E. Johnson,et al.  Type-checking Smalltalk , 1986, OOPLSA '86.

[8]  Ralph E. Johnson,et al.  TS: an optimizing compiler for smalltalk , 1988, OOPSLA '88.

[9]  Craig Chambers,et al.  An efficient implementation of SELF a dynamically-typed object-oriented language based on prototypes , 1989, OOPSLA 1989.

[10]  Samuel N. Kamin.  Inheritance in smalltalk-80: a denotational definition , 1988, POPL '88.

[11]  Craig Chambers,et al.  An efficient implementation of SELF, a dynamically-typed object-oriented language based on prototypes , 1989, OOPSLA '89.

[12]  David Robson,et al.  Smalltalk-80: The Language and Its Implementation , 1983 .

[13]  Norihisa Suzuki,et al.  Inferring types in Smalltalk , 1981, POPL '81.

[14]  Ralph Johnson,et al.  Type-Checking Smalltalk , 1986, OOPSLA.

[15]  Justin O. Graver,et al.  Type checking and type inference for object-oriented programming languages , 1989 .

[16]  Luca Cardelli,et al.  A Semantics of Multiple Inheritance , 1984, Information and Computation.

[17]  Alan Borning,et al.  A type declaration and inference system for smalltalk , 1982, POPL '82.

[18]  Bjarne Stroustrup,et al.  The C++ Programming Language, First Edition , 1986 .

[19]  Luca Cardelli,et al.  On understanding types, data abstraction, and polymorphism , 1985, CSUR.