Preprint
Aug 2026
On Eliminating the Impossible with Dependent Types: Choreographic Libraries with Proof-Carrying Located Values
With growing complexity, distributed software systems become increasingly challenging to maintain and reason about. When implementing a distributed protocol, developers must ensure manually that the different components fit together. Choreographic programming addresses this challenge by specifying global protocols in a...
Simon Daniel, Timon Böhler, D. Richter et al.
· 0 citations