TY  - RPRT
TI  - Formal Verification of Imperative First-Class Functions in Move
AU  - Wolfgang Grieskamp
AU  - Teng Zhang
AU  - Vineeth Kashyap
AU  - Jake Silverman
PY  - 2026
UR  - https://arxiv.org/abs/2605.10007
ID  - 2605.10007
ER  -