プログラミング研究室

エフェクトハンドラに対する依存型付きコンパイラに関するPPL 2023論文

津山、叢、増原による論文「エフェクトハンドラを持つ言語に対する依存型付きコンパイラ」が第25回プログラミングおよびプログラミング言語ワークショップ(PPL2023)のカテゴリ1に採択され発表されました。

👉プロジェクト