Related articles

Works on the new JoCaml

Compilation techniques for JoCaml

On the Join-Calculus