A meta-language for typed object-oriented languages

Covariance and contravariance: conflict without a cause

ACM Transactions on Programming Languages and Systems (TOPLAS)

Double dispatch in C++

Software—Practice & Experience - Research Articles

Featherweight Java with multi-methods

Proceedings of the 5th international symposium on Principles and practice of programming in Java

Featherweight Java with dynamic and static overloading

Science of Computer Programming

Translating Double Dispatch into Single Dispatch

Electronic Notes in Theoretical Computer Science (ENTCS)

On flexible dynamic trait replacement for Java-like languages

Science of Computer Programming