Paper on Dependent-Type-Preserving CPS Translation to Appear in IFL 2024 Proceedings
The following paper will appear in the post-proceedings of the 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.