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

Related topics

Related topics

11 relations
Concurrent computingDistributed computingHume (programming language)Join-calculus

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2007
2007
The Joins Concurrency Library
Cω extended C# 1.x with a simple, declarative and powerful model of concurrency – join patterns – applicable both to… 
2007
2007
Programming in JoCaml --- Extended Version
JoCaml is a language for concurrent and distributed programming. We here present a non-trival distributed application written in… 
2003
2003
Inheritance in the join calculus
Review
2002
Review
2002
JoCaml: A Language for Concurrent Distributed and Mobile Programming
In these lecture notes, we give an overview of concurrent, distributed, and mobile programming using JoCaml. JoCaml is an… 
Review
2000
Review
2000
Functional Nets
Functional nets combine key ideas of functional programming and Petri nets to yield a simple and general programming notation… 
2000
2000
Inheritance in the join calculus
1999
1999
On the design and implementation of a virtual machine for process calculi
Dissertacao de Doutoramento em Ciencia de Computadores apresentada a Faculdade de Ciencias da Universidade do Porto 
1999
1999
Adaptable and Mobile-Aware Distributed Objects
Highly Cited
1999
Highly Cited
1999
Jocaml: mobile agents for Objective-Caml
Jocaml is a system for mobile agents built inside the Objective-Caml language. Jocaml eases the development of concurrent… 
1999
1999
A Virtual Machine for a Process Calculus
Despite extensive theoretical work on process-calculi, virtual machine specifications and implementations of actual computational… 
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