Paper on Dependent-Type-Preserving CPS Translation to Appear in IFL 2024 Proceedings
以下の論文が 36th Symposium on Implementation and Application of Functional Languages (IFL 2024) の論文集に掲載されます。
- Youyou Cong, Hironori Kawazoe, and Hidehiko Masuhara. A Mostly CPS, Partly ANF Translation of Dependent Types.