Revision as of 14:38, 23 April 2016 edit AnomieBOT (talk \| contribs) Bots 6,855,701 edits m Dating maintenance tags: {{Afd-mergeto}} ← Previous edit		Revision as of 14:59, 23 April 2016 edit undo AnomieBOT (talk \| contribs) Bots 6,855,701 edits m Dating maintenance tags: {{Afd-mergeto}} Next edit →
Line 1: {{afd-mergeto\|Join-calculus#Languages based on the join-calculus\|Join-calculus (programming language)\|09 April 2015\|date=April 2015\|date=April 2015\|date=April 2015\|date=April 2015\|date=April 2015\|date=April 2015\|date=April 2015\|date=April 2015\|date=April 2015\|date=April 2015\|date=April 2015\|date=April 2015\|date=April 2015\|date=April 2015\|date=April 2015}} In computer science, the '''join-calculus''' is a programming language based on the identically-named [[join-calculus]] [[process calculus]]. It is implemented as an interpreter written in [[OCaml]], and supports statically-typed distributed programming, transparent remote communication, agent-based mobility, and failure-detection.<ref>{{cite paper \| author=Cedric Fournet, Georges Gonthier \| title=The Join Calculus: A Language for Distributed Mobile Programming \| year = 2000 \| url=http://citeseer.ist.psu.edu/670457.html}}</ref>

Join-calculus (programming language): Difference between revisions