The Caml language
THE ENSEMBLE DISTRIBUTED COMMUNICATION SYSTEM
Rewritten from C to Ocaml in 1/10th of the lines of code.
