Meerkat: A Distributed Reactive Programming Language with Live Updates
<|reference_start|>Meerkat: A Distributed Reactive Programming Language with Live Updates: 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 definitions are incorporated in the type system to protect the interaction between the frontend user interface and the backend database. Distributed live updates submitted by multiple programmers are ensured strong consistency based on an existing framework for distributed reactive propagation.<|reference_end|>
@article{zhong2024meerkat:,
    title={Meerkat: A Distributed Reactive Programming Language with Live Updates},
    author={Heng Zhong, Anrui Liu},
    journal={arXiv preprint arXiv:2407.06885},
    year={2024},
    archivePrefix={arXiv},
    eprint={2407.06885},
    primaryClass={cs.PL}
}