Programming in JoCaml (Tool Demonstration)

Abstract. JoCaml is a language for concurrent and distributed programming. The language is an extension of Objective Caml with concurrent features inspired by the join-calculus. We here present the recent release of JoCaml, motivate our fundamental design choices, compare the new release with previous ones, and give a taste of JoCaml by means of a few examples.

• Type: Conference
• Year: 2008
• Where: ESOP
• Authors: Louis Mandel, Luc Maranget
• Keywords: ESOP 2008, Fundamental Design Choices, JoCaml, Objective Caml, Programming Languages