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

Xin Zhao 0011, Philipp Haller. Consistency types for replicated data in a higher-order distributed programming language. Programming Journal, 5(2):6, 2021. [doi]

Abstract

Abstract is missing.