Consistency types for replicated data in a higher-order distributed programming language

Xin Zhao, Philipp Haller

Distributed systems address the increasing demand for fast access to resources and fault tolerance for data. However, due to scalability requirements, software developers need to t…