プログラミング研究室

空間効率の良い漸進的型付けに関する PLDI 2024 論文

以下の論文が PLDI 2024 に採択されました。本論文は田邉の京都大学在籍時の研究成果です。本成果は6月24-28日にデンマークのコペンハーゲンで開催されるPLDI2024にて発表されます。

• Atsushi Igarashi, Shota Ozaki, Taro Sekiyama, and Yudai Tanabe. Space-Efficient Polymorphic Gradual Typing, Mostly Parametric