Xavier's OCaml-Java interoperability talk.
Typer extension paper link.