Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 205,166,590 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
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.
2007
2007
The Joins Concurrency Library
Claudio V. Russo
PADL
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
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
2003
2003
Inheritance in the join calculus
C. Fournet
,
C. Laneve
,
Luc Maranget
,
Didier Rémy
J. Log. Algebraic Methods Program.
2003
Corpus ID: 42620327
Review
2002
Review
2002
JoCaml: A Language for Concurrent Distributed and Mobile Programming
C. Fournet
,
F. L. Fessant
,
Luc Maranget
,
A. 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
ESOP
2000
Corpus ID: 506824
Functional nets combine key ideas of functional programming and Petri nets to yield a simple and general programming notation…
Expand
2000
2000
Inheritance in the join calculus
C. Fournet
,
C. Laneve
,
Luc Maranget
,
Didier Rémy
J. Log. Algebraic Methods Program.
2000
Corpus ID: 12407481
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
Adaptable and Mobile-Aware Distributed Objects
A. Baggio
1999
Corpus ID: 59741505
Highly Cited
1999
Highly Cited
1999
Jocaml: mobile agents for Objective-Caml
S. Conchon
,
F. L. Fessant
Proceedings. First and Third International…
1999
Corpus ID: 14355301
Jocaml is a system for mobile agents built inside the Objective-Caml language. Jocaml eases the development of concurrent…
Expand
1999
1999
A Virtual Machine for a Process Calculus
Luís M. B. Lopes
,
Fernando M A Silva
,
V. Vasconcelos
PPDP
1999
Corpus ID: 11038408
Despite extensive theoretical work on process-calculi, virtual machine specifications and implementations of actual computational…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
,
Terms of Service
, and
Dataset License
ACCEPT & CONTINUE