O'Jacare
pps.jussieu.frObject-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.
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.