Some challenging typing issues in object-oriented languages
In this paper we discuss some of the remaining problems in the design of static type systems for object-oriented programming languages. We look at typing problems involved in writing a simple interpreter as a good example of a simple problem leading to dicult typing issues. The diculties encountered seem to arise in situations where a programmer desires to simultaneously refine mutually interdependent classes and object types.