Higher-Order Patterns in Replicated Data Types. - Adriaan Leijnse; Paulo Sérgio Almeida; Carlos Baquero (PaPoC@EuroSys, 2019)