Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,286,837 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.
2008
2008
Programming in JoCaml (Tool Demonstration)
Louis Mandel
,
Luc Maranget
European Symposium on Programming
2008
Corpus ID: 18877134
JoCaml is a language for concurrent and distributed programming. The language is an extension of Objective Caml with concurrent…
Expand
2007
2007
A Specification Language for Coordination in Agent Systems
T. Bosse
,
M. Hoogendoorn
,
Radu Serban
,
Jan Treur
ACM International Conference on International…
2007
Corpus ID: 8245746
This paper introduces an executable coordination specification language, with which both pre-specified and more flexible and…
Expand
2007
2007
The Joins Concurrency Library
Claudio V. Russo
International Symposium on Practical Aspects of…
2007
Corpus ID: 530851
Cω extended C# 1.x with a simple, declarative and powerful model of concurrency – join patterns – applicable both to…
Expand
2007
2007
Prototype Platforms for Distributed Agreements
Alberto Baragatti
,
R. Bruni
,
Hernán C. Melgratti
,
U. Montanari
,
G. Spagnolo
FOCLASA
2007
Corpus ID: 207720086
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
Review
2002
Review
2002
JoCaml: A Language for Concurrent Distributed and Mobile Programming
C. Fournet
,
F. L. Fessant
,
Luc Maranget
,
Alan Schmitt
Advanced Functional Programming
2002
Corpus ID: 8959405
In these lecture notes, we give an overview of concurrent, distributed, and mobile programming using JoCaml. JoCaml is an…
Expand
Review
2000
Review
2000
Functional Nets
Martin Odersky
European Symposium on Programming
2000
Corpus ID: 506824
Functional nets combine key ideas of functional programming and Petri nets to yield a simple and general programming notation…
Expand
1999
1999
A Virtual Machine for a Process Calculus
Luís M. B. Lopes
,
Fernando M A Silva
,
V. Vasconcelos
ACM-SIGPLAN International Conference on…
1999
Corpus ID: 11038408
Despite extensive theoretical work on process-calculi, virtual machine specifications and implementations of actual computational…
Expand
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
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