HashCaml - an extension of Objective Caml, which allows type-safe data to be serialized and deserialized. Basis for example for remote function calls.