Type-Preserving Flat Closure Optimization. - Adam T. Geller; Sean Bocirnea; Chester J. F. Gould; Paulette Koronkevich; William J. Bowman (Proc. ACM Program. Lang., 2025)