@misc{indiciae8bccf23c7307,
  title = {Type System for Four Delimited Control Operators},
  author = {Chiaki Ishio and Kenichi Asai},
  year = {2023},
  url = {https://arxiv.org/abs/2305.02852},
  note = {Source identifier: 2305.02852}
}