Space-Efficient Polymorphic Gradual Typing, Mostly Parametric. - Atsushi Igarashi; Shota Ozaki; Taro Sekiyama; Yudai Tanabe (Proc. ACM Program. Lang., 2024)