CP 24
12 videos • 67 views • by ACM SIGPLAN
CP 24 - Choreographic Programming
1
[CP24] Toward Verified Library-Level Choreographic Programming with Algebraic Effects
ACM SIGPLAN
Download
2
[CP24] Suki: Choreographed Distributed Dataflow in Rust
ACM SIGPLAN
Download
3
[CP24] Klor: Choreographies for the Working Clojurian
ACM SIGPLAN
Download
4
[CP24] ChoRus: Library-Level Choreographic Programming in Rust
ACM SIGPLAN
Download
5
[CP24] We Know I Know You Know; Choreographic Programming With Multicast and Multiply Located Values
ACM SIGPLAN
Download
6
[CP24] Exploring Algebraic Placement in Multiparty Languages
ACM SIGPLAN
Download
7
[CP24] A Probabilistic Choreography Language for PRISM
ACM SIGPLAN
Download
8
[CP24] Corps: A Core Calculus of Hierarchical Choreographic Programming
ACM SIGPLAN
Download
9
[CP24] Choreographies meet Communication Failures
ACM SIGPLAN
Download
10
[CP24] Choreographic Programming in Modal Type Theory
ACM SIGPLAN
Download
11
[CP24] A Propositional Dynamic Logic for Choreographies
ACM SIGPLAN
Download
12
[CP24] Choreographic Programming: its essence, beauty, and necessity
ACM SIGPLAN
Download