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