エフェクトハンドラの表現力に関するPPDP論文
Kazuki Ikemori, Youyou Cong, Hidehiko Masuharaによる論文 “Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators”が宣言的プログラミングの原理と実践に関する国際シンポジウム(PPDP 2023)に採択されました。論文はエフェクトハンドラと限定制御演算子の表現力が等しいことを、エフェクト/限定継続がラベルで区別可能な設定の下で示しています。論文発表は2023年10月にSPLASH国際会議の一部として開催されるシンポジウムで発表されます/ました。