A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs

June Wunder, Ankush Das, Marco Gaboardi

Reactive programming frameworks such as React allow developers to build interactive applications by declaratively specifying how outputs depend on changing inputs. Although this mo…