Environment-Sharing Analysis and Caller-Provided Environments for Higher-Order Languages. - J. A. Carr; Benjamin Quiring; John H. Reppy; Olin Shivers; Skye Soss; Byron Zhong (Proc. ACM Program. Lang., 2025)