Programming Group
  • 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 🎉

© Copyright 2024 Programming Group. Impressum. Last updated: November 16, 2024.