3 papers
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…
cs.PL2026
Practical Refinement Session Type Inference (Extended Version)
Toby Ueno, Ankush Das
Session types express and enforce safe communication in concurrent message-passing systems by statically capturing the interaction protocols between processes in the type. Recent w…
cs.PL2025
Dependent Session Types for Verified Concurrent Programming
Qiancheng Fu, Hongwei Xi, Ankush Das
We present TLLC which extends the Two-Level Linear dependent type theory (TLL) with session-based concurrency. Equipped with Martin-Löf style dependency, the session types of TLLC…