Type-Checking CRDT Convergence.

George Zakhour Pascal Weisenburger Guido Salvaneschi

Published in: Proc. ACM Program. Lang. (2023)

Keyphrases

type checking
data types
query processor
database query languages
data model
object model