O'Jacare - An object-oriented interface between O'Caml and Java
Object-oriented interface between OCaml and Java, code generator to aid interoperability via their object models, defines an IDL and allows a safety execution by static typechecking.