プログラミング研究室

TPP 2023にて形式化に関する3件の発表

The 19th Theorem Proving and Provers meetingにて本研究室から3名が発表します。

• 津山、「第一級継続の最適化を行う内在的型安全コンパイル」
• 川添、「Formalizing λ□ in Lean」
• 斉藤、「Coqを用いた内在的型付けに基づく確率的プログラミング言語の形式化」