research
∙
04/06/2023
For-Each Operations in Collaborative Apps
Conflict-free Replicated Data Types (CRDTs) allow collaborative access t...
share
research
∙
12/05/2022
Collabs: Composable Collaborative Data Structures
Replicated data types (RDTs), such as Conflict-free Replicated Data Type...
research
∙
09/19/2022
Distributed Execution Indexing
This work-in-progress report presents both the design and partial evalua...
research
∙
04/08/2020
Composing and Decomposing Op-Based CRDTs with Semidirect Products
Operation-based Conflict-free Replicated Data Types (CRDTs) are eventual...
research
∙
08/21/2019
Scala Implicits are Everywhere: A large-scale study of the use of Implicits in the wild
The Scala programming language offers two distinctive language features ...
research
∙
06/08/2019
Proceedings Seventh International Workshop on Trends in Functional Programming in Education
The Seventh International Workshop on Trends in Functional Programming i...
research
∙
12/28/2018
Clippy(ing) Network Functions: Towards Better Abstractions for Checking and Designing Network Programs
When programming network functions, changes within a packet tend to have...
research
∙
02/07/2018