Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 222,787,836 papers from all fields of science
Search
Sign In
Create Free Account
JoCaml
JoCaml is an experimental functional programming language derived from OCaml. It integrates the primitives of the join-calculus to enable flexible…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
11 relations
Concurrent computing
Distributed computing
Hume (programming language)
Join-calculus
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
3 A Typed Join Calculus with Owners : J
Marco Patrignani
,
D. Clarke
,
D. Sangiorgi
2011
Corpus ID: 102490634
This paper investigates ownership types in a concurrent setting using the Join calculus as the model of processes. Ownership…
Expand
2011
2011
Abstract Machines for Safe Ambients in Wide-Area and Mobile Networks
Seiji Umatani
,
M. Yasugi
,
T. Yuasa
International Conference on Coordination Models…
2011
Corpus ID: 16772355
Recently, there have been several studies focusing on the implementation of process calculi with distribution and mobility. Among…
Expand
2011
2011
Distributed Computing Based on Clean Dynamics ∗
Hajnalka Hegedűs
,
Zoltán Horváth
2011
Corpus ID: 59427237
Clean is a lazy, pure functional language. The relatively new language construct, called dynamic, allows of sending, storing and…
Expand
2007
2007
Programming in JoCaml --- Extended Version
Louis Mandel
,
Luc Maranget
2007
Corpus ID: 41688897
JoCaml is a language for concurrent and distributed programming. We here present a non-trival distributed application written in…
Expand
2007
2007
Programming in Jocaml — Extended Version Programming in Jocaml — Extended Version
Luc Maranget
2007
Corpus ID: 9852545
JoCaml is a language for concurrent and distributed programming. We here present a non-trival distributed application written in…
Expand
2003
2003
Inheritance in the join calculus
C. Fournet
,
C. Laneve
,
L. Maranget
,
Didier Rémy
J. Log. Algebraic Methods Program.
2003
Corpus ID: 267913509
1999
1999
Adaptable and Mobile-Aware Distributed Objects
A. Baggio
1999
Corpus ID: 59741505
1999
1999
On the design and implementation of a virtual machine for process calculi
Luı́s Lopes
1999
Corpus ID: 61034257
Dissertacao de Doutoramento em Ciencia de Computadores apresentada a Faculdade de Ciencias da Universidade do Porto
1999
1999
A Functional View of Join
Martin Odersky
,
Matthias Zenger
,
Gang Chen
,
C. Zenger
1999
Corpus ID: 6843862
Join calculus, usually presented as a process calculus, is suitable as a foundation of both sequential and concurrent programming…
Expand
1998
1998
Inheritance in the Join-calculus
C. Fournet
,
C. Laneve
,
+9 authors
Fullhvi Z Fullh
1998
Corpus ID: 267913510
We present an elementary class-based calculus of concurrent objects obtained from the join-calculus by introducing primitive…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE