@misc{indiciaeb1441a6d1ca4,
  title = {Gradually Verifying Unfolding Expressions \& Pure Functions},
  author = {Hazel Torek and Long Tien Nguyen and Priyam Gupta and Jenna DiVincenzo and Jonathan Aldrich},
  year = {2026},
  url = {https://arxiv.org/abs/2607.15383},
  note = {Source identifier: 2607.15383}
}