@misc{indiciaee089a9fee58e,
  title = {Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml},
  author = {Ion Chirica and Mário Pereira},
  year = {2025},
  url = {https://arxiv.org/abs/2506.20310},
  note = {Source identifier: 2506.20310}
}