Skip to search formSkip to main contentSkip to account menu

JoCaml

JoCaml is an experimental functional programming language derived from OCaml. It integrates the primitives of the join-calculus to enable flexible… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
This paper investigates ownership types in a concurrent setting using the Join calculus as the model of processes. Ownership… 
2011
2011
Recently, there have been several studies focusing on the implementation of process calculi with distribution and mobility. Among… 
2011
2011
Clean is a lazy, pure functional language. The relatively new language construct, called dynamic, allows of sending, storing and… 
2007
2007
JoCaml is a language for concurrent and distributed programming. We here present a non-trival distributed application written in… 
2007
2007
JoCaml is a language for concurrent and distributed programming. We here present a non-trival distributed application written in… 
2003
2003
1999
1999
Dissertacao de Doutoramento em Ciencia de Computadores apresentada a Faculdade de Ciencias da Universidade do Porto 
1999
1999
Join calculus, usually presented as a process calculus, is suitable as a foundation of both sequential and concurrent programming… 
1998
1998
We present an elementary class-based calculus of concurrent objects obtained from the join-calculus by introducing primitive…