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