"Youyou Cong,Hironori Kawazoe,Hidehiko Masuhara","A Mostly CPS, Partly ANF Translation of Dependent Types","The 36th Symposium on Implementation and Application of Functional Languages (IFL 2024)",,,,,,2024,Aug.