2 papers
cs.PL2025
Efficient, Portable, Census-Polymorphic Choreographic Programming
Mako Bates, Shun Kashiwa, Syed Jafri +3
Choreographic programming (CP) is a paradigm for implementing distributed systems that uses a single global program to define the actions and interactions of all participants. Libr…
cs.PL2024
MultiChor: Census Polymorphic Choreographic Programming with Multiply Located Values
Mako Bates, Syed Jafri, Joseph P. Near
Choreographic programming is a concurrent paradigm in which a single global program called a choreography describes behavior across an entire distributed network of participants. C…