@inproceedings{CTT100803803,
  author = {Youyou Cong and Kenichi Asai},
  title = {Handling Delimited Continuations with Dependent Types},
  booktitle = {Proceedings of the ACM on Programming Languages},
  year = 2018,
}

@inproceedings{CTT100803804,
  author = {William J. Bowman and Youyou Cong and Nich Rioux and Amal Ahmed},
  title = {Type-preserving CPS translation of Σ and Π types is not not possible},
  booktitle = {Proceedings of the ACM on Programming Languages},
  year = 2018,
}