1 paper
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…