A Type System for Smalltalk
Abstract
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.
Related papers
- A Type Declaration and Inference System for Smalltalk POPL 1982
- Type-Checking Smalltalk OOPSLA 1986
- Inferring Types in Smalltalk POPL 1981
- Painless Panes for Smalltalk Windows OOPSLA 1987
- Hurricane: An Optimizing Compiler for Smalltalk OOPSLA 1986
- Capsules and Types in Fresco: Program Verification in Smalltalk ECOOP 1991
- Creating Efficient Systems for Object-Oriented Languages POPL 1984
- TS: An Optimizing Compiler for Smalltalk OOPSLA 1988