Higher-Order Patterns in Replicated Data Types.

Adriaan Leijnse, Paulo Srgio Almeida, Carlos Baquero

Browse the full EuroSys paper archive.