works on
reactive programming 1render semantics 1static analysis 1temporal analysis 1type-and-effect systems 1

From the 1 of 1 linked paper with an AI index.

collaborators

1 paper

cs.PL2026

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

June Wunder, Ankush Das, Marco Gaboardi

The paper introduces Willow, a core calculus and type‑and‑effect system that tracks timing effects in render‑based reactive programs, enabling static detection of temporal bugs suc…