This paper: http://portal.acm.org/citation.cfm?doid=1133651.1133655 describes MultiJava, which extends Java to support multi-methods and open classes. If I recall correctly, it contains a description of the different techniques they used and their performance characteristics. Might be useful for various OOType backends.... Niko