LoRe: Local-First Reactive Programming with Verified Safety Guarantees
-
Published:2022-11-29
Issue:
Volume:
Page:
-
ISSN:
-
Container-title:Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity
-
language:
-
Short-container-title: