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 sufficient to model SelfType. 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 ★). We extend the encoding to support multiple inheritance.
Joint work with Daniel P. Friedman.
Back to the schedule.