swMATH2065MaRDI QIDQ14610FDOQ14610
Author name not available (Why is that?)
Official website: http://jocaml.inria.fr/
Cited In (40)
- Title not available (Why is that?)
- Programming Languages and Systems
- Title not available (Why is that?)
- Chemical foundations of distributed aspects
- On distributability
- Inheritance in the join calculus.
- A concurrent lambda calculus with futures
- A categorical model of the fusion calculus
- On Bisimulation Proofs for the Analysis of Distributed Abstract Machines
- Bisimulations in the join-calculus
- Title not available (Why is that?)
- CONCUR 2005 – Concurrency Theory
- Algebraic Pattern Matching in Join Calculus
- Linear forwarders
- Characterizing contextual equivalence in calculi with passivation
- Modelling dynamic web data
- TulaFale
- MWB
- Facile
- Pict
- KLAIM
- Multilisp
- ULM
- XPi
- Programming Languages and Systems
- Ocsigen
- OCaml-Java
- GcPan
- js_of_ocaml
- CaesarJ
- Welterweight Java
- Observational semantics for a concurrent lambda calculus with reference cells and futures
- PiDuce- A project for experimenting web services technologies
- Acute: High-level programming language design for distributed computation
- An efficient abstract machine for safe ambients
- Space profiling for parallel functional programs
- Using bisimulation proof techniques for the analysis of distributed abstract machines
- Distributability of mobile ambients
- A reduction semantics for direct-style asynchronous observables
- OCaml-Java: the Java virtual machine as the target of an OCaml compiler
This page was built for software: JoCaml
