J. A. Carr, Benjamin Quiring, John H. Reppy, Olin Shivers, Skye Soss, Byron Zhong. Environment-Sharing Analysis and Caller-Provided Environments for Higher-Order Languages. Proceedings of the ACM on Programming Languages, 9(ICFP):341-370, 2025. [doi]
Abstract is missing.