@misc{indiciae657f8997b719,
  title = {On the usefulness of linear types for correct nonce use enforcement during compile time},
  author = {Richard Ostertág},
  year = {2023},
  url = {https://arxiv.org/abs/2305.04138},
  note = {Source identifier: 2305.04138}
}