caml.inria.fr/

И ещё его как бы "наследник", тоже язык программирования (высокого уровня), адаптированный для разработки мобильных многоплатформенных приложений, как для андроид (unix/linux) подобных систем, так и для ios.
http://haxe.org/
В OCaml (Caml) реализовано множественное наследование.