Grove: A Bidirectionally Typed Collaborative Structure Editor Calculus. - Michael D. Adams 001; Eric Griffis; Thomas Porter; Sundara Vishnu Satish; Eric Zhao 006; Cyrus Omar (Proc. ACM Program. Lang., 2025)