@misc{indiciae774f3a54138c,
  title = {Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language},
  author = {Nikolaj Hey Hinnerskov and Robert Schenck and Cosmin E. Oancea},
  year = {2025},
  url = {https://arxiv.org/abs/2506.23058},
  note = {Source identifier: 2506.23058}
}