Our paper on Grove, a collaborative structured editing calculus, is published at POPL!1
- Michael D. Adams et al., ‘Grove: A Bidirectionally Typed Collaborative Structure Editor Calculus’, Proceedings of the ACM on Programming Languages 9, no. POPL (January 2025): 73:2176–204, https://doi.org/10.1145/3704909. q.v.