JoCaml is a variant of ObjectiveCaml based on the JoinCalculus.
http://jocaml.inria.fr/
CategoryProgrammingLanguage