Multimethods and separate static typechecking in a language with C++-like object model

Emanuele Panizzi Bernardo Pastorelli Multimethods and separate static typechecking in a language with C++-like object model http://arxiv.org/abs/cs.PL/0005033 2000 CoRR cs.PL/0005033 db/journals/corr/corr0005.html#cs-PL-0005033 informal publication