依存型付き言語の CPS 変換に関する発表 (@ PEPM 2024)

叢が POPL 2024 の併設ワークショップ PEPM 2024 で、”One-Pass CPS Translation of Dependent Types” というタイトルの発表を行います。

2024-01-16.
→
←