The following pages link to JoCaml (Q14610):
Displaying 26 items.
- Characterizing contextual equivalence in calculi with passivation (Q651309) (← links)
- PiDuce- A project for experimenting web services technologies (Q838158) (← links)
- A concurrent lambda calculus with futures (Q860851) (← links)
- An efficient abstract machine for safe ambients (Q882488) (← links)
- Using bisimulation proof techniques for the analysis of distributed abstract machines (Q935472) (← links)
- Inheritance in the join calculus. (Q1426056) (← links)
- Chemical foundations of distributed aspects (Q2002053) (← links)
- On distributability (Q2123059) (← links)
- Distributability of mobile ambients (Q2216122) (← links)
- Linear forwarders (Q2384926) (← links)
- A reduction semantics for direct-style asynchronous observables (Q2423763) (← links)
- Modelling dynamic web data (Q2566029) (← links)
- (Q2763694) (← links)
- Space profiling for parallel functional programs (Q3021408) (← links)
- Algebraic Pattern Matching in Join Calculus (Q3518273) (← links)
- On Bisimulation Proofs for the Analysis of Distributed Abstract Machines (Q3608458) (← links)
- (Q4536436) (← links)
- (Q4813226) (← links)
- Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures (Q5262945) (← links)
- Acute: High-level programming language design for distributed computation (Q5308092) (← links)
- Programming Languages and Systems (Q5308696) (← links)
- Programming Languages and Systems (Q5308701) (← links)
- OCaml-Java: The Java Virtual Machine as the target of an OCaml compiler (Q5371968) (← links)
- A Categorical Model of the Fusion Calculus (Q5415643) (← links)
- CONCUR 2005 – Concurrency Theory (Q5897471) (← links)
- Bisimulations in the join-calculus (Q5958770) (← links)