ICFP 2024 (series) / OCaml 2024 (series) / OCaml Users and Developers Workshop 2024 / ChorCaml: Functional Choreographic Programming in OCaml
ChorCaml: Functional Choreographic Programming in OCamlremote
Sat 7 Sep 2024 16:45 - 17:07 at Orange 2 - OCaml ecosystem and applications Chair(s): Pierre Chambart
Choreographic programming offers a way of implementing distributed systems with better safety and clarity than traditional approaches. This is achieved by unifying the code of all participants into a single program, and entrusting the generation of network communication logic to the compiler. ChorCaml presents the first practical OCaml framework for writing programs in this paradigm.
| Paper (ocaml2024-paper17.pdf) | 354KiB |
Sat 7 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sat 7 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
16:00 - 17:30 | OCaml ecosystem and applicationsOCaml at Orange 2 Chair(s): Pierre Chambart OCamlPRO Live stream: https://www.youtube.com/watch?v=OuQqblCxJ2Y | ||
16:00 22mTalk | Opam 2.2 and beyondin-person OCaml Raja Boujbel OCamlPro, Kate Deplaix Consultant for the OCaml Software Foundation and Ahrefs, David Allsopp Tarides File Attached | ||
16:22 22mTalk | Recursion schemes in OCaml: An experience reportin-person OCaml Tim Williams Bloomberg File Attached | ||
16:45 22mTalk | ChorCaml: Functional Choreographic Programming in OCamlremote OCaml Rokas Urbonas University of Cambridge File Attached | ||
17:07 22mTalk | B · o · B, a universal & secure file-transfer software in OCamlin-person OCaml Romain Calascibetta robur.coop File Attached | ||