Presentation on Gradual Typing at PPL2025
Tanabe will give an invited talk on PLDI’24 paper at PPL2025 .
- Atsushi Igarashi, Shota Ozaki, Taro Sekiyama, Yudai Tanabe. Space-Efficient Polymorphic Gradual Typing, Mostly Parametric. (PLDI’24)
Related posts