Dylan programming: an object-oriented and dynamic language

Multimethods Implementation in C++ Using Recursive Deferred Dispatching

IEEE Software

Gradual typing with unification-based inference

DLS '08 Proceedings of the 2008 symposium on Dynamic languages

Multiple dispatch in practice

Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications

Type systems directed programming language evolution: overview and research trends

Proceedings of the 50th Annual Southeast Regional Conference

Gradual typing for objects

ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming