An Object Encoding For SelfType

SelfType is a programming language feature of object systems which allows both methods and instance variable declarations to refer to the type of self. We present an object encoding suÆcient to model SelfType while maintaining explicit support for instance variables or other private interfaces. The range of the encoding is F the typed -calculus including polymorphic functions and types, intersection types and subtyping, augmented with recursive types (of kind?). Intersection types are used to support vertical specialization of methods and multiple inheritance.