1 paper · 1 filter
Heng Zhong, Anrui Liu
We propose a novel type-safe reactive programming language with live updates that extends an existing work to support multiple distributed evolution queues. Dependency sets of defi…