_    ___ ___      _                               
   / \  |_ _/ _ \ ___| |_ _ __ ___  __ _ _ __ ___  ___
  / _ \  | | | | / __| __| '__/ _ \/ _` | '_ ` _ \/ __|
 / ___ \ | | |_| \__ \ |_| | |  __/ (_| | | | | | \__ \
/_/   \_\___\___/|___/\__|_|  \___|\__,_|_| |_| |_|___/

Invidious > Channel > ACM SIGPLAN

ACM SIGPLAN	9400 subscribers    RSS
View channel on YouTube Videos Playlists

YT 22 minutes 2 seconds ACM SIGPLAN [CP24] Toward Verified Library-Level Choreographic Programming with Algebraic Effects YT 18 minutes 47 seconds ACM SIGPLAN [CP24] Suki: Choreographed Distributed Dataflow in Rust YT 20 minutes 48 seconds ACM SIGPLAN [CP24] Klor: Choreographies for the Working Clojurian

YT 20 minutes 45 seconds ACM SIGPLAN [CP24] ChoRus: Library-Level Choreographic Programming in Rust YT 19 minutes 22 seconds ACM SIGPLAN [CP24] We Know I Know You Know; Choreographic Programming With Multicast and Multiply Located Values YT 19 minutes 28 seconds ACM SIGPLAN [CP24] Exploring Algebraic Placement in Multiparty Languages

YT 18 minutes 47 seconds ACM SIGPLAN [CP24] A Probabilistic Choreography Language for PRISM YT 36 minutes 17 seconds ACM SIGPLAN [CP24] Corps: A Core Calculus of Hierarchical Choreographic Programming YT 20 minutes 36 seconds ACM SIGPLAN [CP24] Choreographies meet Communication Failures

YT 20 minutes 37 seconds ACM SIGPLAN [CP24] Choreographic Programming in Modal Type Theory YT 22 minutes 35 seconds ACM SIGPLAN [CP24] A Propositional Dynamic Logic for Choreographies YT 1 hour 1 minute 38 seconds ACM SIGPLAN [CP24] Choreographic Programming: its essence, beauty, and necessity