Youyou Cong.
One-Pass CPS Translation of Dependent Types,
ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2024),
Proceedings of the 2024 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2024),
Jan. 2024.