A *(functional) *(programming language) in the *(ML) family of dialects that supports the Join Calculus.

The home page is <a href="http://pauillac.inria.fr/jocaml/">here</a>.