@inproceedings{CTT100925118,
  author = {Youyou Cong and Hironori Kawazoe and Hidehiko Masuhara},
  title = {A Mostly CPS, Partly ANF Translation of Dependent Types},
  booktitle = {},
  year = 2024,
}