"Akane Taniguchi,Youyou Cong,Hidehiko Masuhara","Formalizing an Object-Oriented Programming Language with Delimited Control","The 36th Symposium on Implementation and Application of Functional Languages (IFL 2024)",,,,,,2024,Aug.