PLDI 2024 Paper on Space-Efficient Polymorphic Gradual Typing
The following paper has been accepted to PLDI 2024. This work is conducted by Tanabe when he was a researcher at Kyoto University. This work will be presented at PLDI2024 in Copenhagen, Denmark.
- Atsushi Igarashi, Shota Ozaki, Taro Sekiyama, and Yudai Tanabe. Space-Efficient Polymorphic Gradual Typing, Mostly Parametric