漸進的型付けに関する日本ソフトウェア科学会第41回大会トップカンファレンス特別講演
田邉が 日本ソフトウェア科学会第41回大会 にて、トップカンファレンス特別講演を行います。本講演は2024年6月にデンマークで発表されたPLDI’24論文の内容に関するものです。
日時：9/11(水) 11:45~12:15 (日本時間)
場所：立命館大学 大阪いばらきキャンパス H321教室
題目：Space-Efficient Polymorphic Gradual Typing, Mostly Parametric