漸進的型付けに関するPPL2025カテゴリ2発表
田邉が 第27回プログラミングおよびプログラミング言語ワークショップ (PPL2025) にて、以下の既発表論文の発表を行います。本講演は2024年6月にデンマークで発表されたPLDI’24論文の内容に関するものです。
- Atsushi Igarashi, Shota Ozaki, Taro Sekiyama, Yudai Tanabe. Space-Efficient Polymorphic Gradual Typing, Mostly Parametric. (PLDI’24)
Related posts