Toggle navigation
Home
Team
Teaching
Publications
Open Positions
Contact
Type Checking Crdt Convergence Pldi Paper
April 11, 2023
Our paper on
Type-Checking CRDT Convergence
has been accepted at
PLDI ‘23
🎉