Experimental langage de haut niveau pour l'informatique distribuée, Focus: dactylographie, de nommage, le changement de version; conçu, spécifiées formellement, mis en œuvre; s'étend coeur OCaml pour soutenir distribués développement, le déploiement, l'exécution, de type sécurisé interaction entre séparément bâti des programmes.