@misc{indiciae8d5b2c0b7f0e, title = {A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs}, author = {June Wunder and Ankush Das and Marco Gaboardi}, year = {2026}, url = {https://arxiv.org/abs/2607.27074}, note = {Source identifier: 2607.27074} }