@misc{indiciaed58d4ab8c2f6,
  title = {On Eliminating the Impossible with Dependent Types: Choreographic Libraries with Proof-Carrying Located Values},
  author = {Simon Daniel and Timon Böhler and David Richter and Pascal Weisenburger and Mira Mezini},
  year = {2026},
  doi = {10.1145/3838790.3838794},
  url = {https://arxiv.org/abs/2608.23237},
  note = {Source identifier: 2608.23237}
}