Type-safe distributed programming for OCaml. - John Billings; Peter Sewell; Mark R. Shinwell; Rok Strnisa (ML, 2006)