22:02

[CP24] Toward Verified Library-Level Choreographic Programming with Algebraic Effects

ACM SIGPLAN

18:47

[CP24] Suki: Choreographed Distributed Dataflow in Rust

ACM SIGPLAN

20:48

[CP24] Klor: Choreographies for the Working Clojurian

ACM SIGPLAN

20:45

[CP24] ChoRus: Library-Level Choreographic Programming in Rust

ACM SIGPLAN

19:22

[CP24] We Know I Know You Know; Choreographic Programming With Multicast and Multiply Located Values

ACM SIGPLAN

19:28

[CP24] Exploring Algebraic Placement in Multiparty Languages

ACM SIGPLAN

18:47

[CP24] A Probabilistic Choreography Language for PRISM

ACM SIGPLAN

36:17

[CP24] Corps: A Core Calculus of Hierarchical Choreographic Programming

ACM SIGPLAN

20:36

[CP24] Choreographies meet Communication Failures

ACM SIGPLAN

20:37

[CP24] Choreographic Programming in Modal Type Theory

ACM SIGPLAN

22:35

[CP24] A Propositional Dynamic Logic for Choreographies

ACM SIGPLAN

1:01:38

[CP24] Choreographic Programming: its essence, beauty, and necessity

ACM SIGPLAN