Ankush Das

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

Willow, a core calculus for reactive programming inspired by React, gives a time-aware operational semantics that models computation in terms of renders, the fundamental evaluation step in which components produce user interface descriptions, and pairs it with a novel type-and-effect system that statically tracks timin...