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.
No takes yet. Share an insight, caveat, or question.
Graver et al. (1990) studied this question.
Synapse has enriched 4 closely related papers on similar clinical questions. Consider them for comparative context: