The main objective of this project is to develop translation and virtual machine techniques capable of handling advanced semantics in object-oriented languages, in particular family polymorphism and dynamic inheritance.  Family polymorphism is a typing concept that builds on a simple kind of dependent types, where the type of an expression may depend on the identity of one or more objects.  Family polymorphism was originally proposed by Erik Ernst in 2001, integrated with a novel kind of dynamic inheritance, which is required in order to support family polymorphism in its full generality.  These concepts have given rise to considerable interest in the object-oriented community, and several top research groups across the world have created language concepts, mechanisms, and implementations exploring the associated language design space.