Papers tagged data types A Comprehensive Study of Convergent and Commutative Replicated Data Types Data types a la carte The Derivative of a Regular Type is its Type of One-Hole Contexts Browse All Keywords By Category