@inproceedings{CTT100925120,
  author = {Akane Taniguchi and Youyou Cong and Hidehiko Masuhara},
  title = {Formalizing an Object-Oriented Programming Language with Delimited Control},
  booktitle = {},
  year = 2024,
}