O'Caml
From Compsci.ca Wiki
What is O'Caml?
O'Caml (or Objective-Caml) is a programming language which permits numerous styles of programming. Notably these include statically-typed functional programming with type inference and object-orientation with multiple inheritance.
External Links
Official site: http://caml.inria.fr