A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs | Digital Library | PAMCET

A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs | Digital Library | PAMCET | PAMCET