Algebraic Replicated Data Types (ARDT): Programming Secure Local-First Software - by Rescala Lang folks Found this as I am reading and learning about distributed reactive systems, specifically around web applications, where the same reactive DAG could manage state across clients, backends and databases.