JoCaml is a variant of ObjectiveCaml based on the JoinCalculus.

http://jocaml.inria.fr/

----
CategoryProgrammingLanguage