@misc{indiciae06616e921882,
  title = {Destination Calculus: A Linear λ-Calculus for Purely Functional Memory Writes},
  author = {Thomas Bagrel and Arnaud Spiwack},
  year = {2025},
  doi = {10.1145/3720423},
  url = {https://arxiv.org/abs/2503.07489},
  note = {Source identifier: 2503.07489}
}