On Eliminating the Impossible with Dependent Types: Choreographic Libraries with Proof-Carrying Located Values

Simon Daniel, Timon Böhler, David Richter +2

With growing complexity, distributed software systems become increasingly challenging to maintain and reason about. When implementing a distributed protocol, developers must ensure…