"Youyou Cong,Kenichi Asai","Handling Delimited Continuations with Dependent Types","The 23rd International Conference on Functional Programming","Proceedings of the ACM on Programming Languages","ACM","  2","  ICFP",,2018,Aug.
"William J. Bowman,Youyou Cong,Nich Rioux,Amal Ahmed","Type-preserving CPS translation of ġ and Ĩ types is not not possible","The 45th Symposium on Principles of Programming Languages","Proceedings of the ACM on Programming Languages","ACM","  2","  POPL",,2018,Jan.