TY  - RPRT
TI  - Gradually Verifying Unfolding Expressions & Pure Functions
AU  - Hazel Torek
AU  - Long Tien Nguyen
AU  - Priyam Gupta
AU  - Jenna DiVincenzo
AU  - Jonathan Aldrich
PY  - 2026
UR  - https://arxiv.org/abs/2607.15383
ID  - 2607.15383
ER  -