{"id":5965,"date":"2023-10-22T19:28:00","date_gmt":"2023-10-23T04:28:00","guid":{"rendered":"https:\/\/prg.is.titech.ac.jp\/?p=5965"},"modified":"2024-11-20T15:55:59","modified_gmt":"2024-11-21T00:55:59","slug":"enpaper-on-the-relationship-between-labeled-effect-handlers-and-labeled-control-operators-ppdp-2023-ja%e3%83%a9%e3%83%99%e3%83%ab%e4%bb%98%e3%81%8d%e3%82%a8%e3%83%95%e3%82%a7%e3%82%af%e3%83%88","status":"publish","type":"post","link":"https:\/\/prg.is.titech.ac.jp\/ja\/news\/enpaper-on-the-relationship-between-labeled-effect-handlers-and-labeled-control-operators-ppdp-2023-ja%e3%83%a9%e3%83%99%e3%83%ab%e4%bb%98%e3%81%8d%e3%82%a8%e3%83%95%e3%82%a7%e3%82%af%e3%83%88\/","title":{"rendered":"\u30a8\u30d5\u30a7\u30af\u30c8\u30cf\u30f3\u30c9\u30e9\u306e\u8868\u73fe\u529b\u306b\u95a2\u3059\u308bPPDP\u8ad6\u6587"},"content":{"rendered":"
\r\n
\"\"<\/a><\/figure>\r\n<\/div>\r\n\r\n\r\n\r\n

\u6c60\u5b88\u548c\u69fb\" target=\"_blank\" rel=\"noopener\">Kazuki Ikemori<\/a>, Youyou Cong<\/a> and Hidehiko Masuhara<\/a>, is accepted by the 25th International Symposium on Principles and Practice of Declarative Programming (PPDP 2023)<\/a>. The paper shows equivalence of expressiveness between effect handlers and delimited control operators in a setting where handlers and delimited continuations are distinguished by labels. The paper will be\/was presented at the symposium held as a part of the SPLASH 2023 conference <\/a>at Cascais, Portugal in October 2023.Kazuki Ikemori<\/a>, Youyou Cong<\/a>, Hidehiko Masuhara<\/a>\u306b\u3088\u308b\u8ad6\u6587 “Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators”\u304c\u5ba3\u8a00\u7684\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u306e\u539f\u7406\u3068\u5b9f\u8df5\u306b\u95a2\u3059\u308b\u56fd\u969b\u30b7\u30f3\u30dd\u30b8\u30a6\u30e0(PPDP 2023)<\/a>\u306b\u63a1\u629e\u3055\u308c\u307e\u3057\u305f\u3002\u8ad6\u6587\u306f\u30a8\u30d5\u30a7\u30af\u30c8\u30cf\u30f3\u30c9\u30e9\u3068\u9650\u5b9a\u5236\u5fa1\u6f14\u7b97\u5b50\u306e\u8868\u73fe\u529b\u304c\u7b49\u3057\u3044\u3053\u3068\u3092\u3001\u30a8\u30d5\u30a7\u30af\u30c8\/\u9650\u5b9a\u7d99\u7d9a\u304c\u30e9\u30d9\u30eb\u3067\u533a\u5225\u53ef\u80fd\u306a\u8a2d\u5b9a\u306e\u4e0b\u3067\u793a\u3057\u3066\u3044\u307e\u3059\u3002\u8ad6\u6587\u767a\u8868\u306f2023\u5e7410\u6708\u306bSPLASH\u56fd\u969b\u4f1a\u8b70<\/a>\u306e\u4e00\u90e8\u3068\u3057\u3066\u958b\u50ac\u3055\u308c\u308b\u30b7\u30f3\u30dd\u30b8\u30a6\u30e0\u3067\u767a\u8868\u3055\u308c\u307e\u3059\/\u307e\u3057\u305f\u3002<\/p>\r\n\r\n\r\n\r\n

\ud83d\udc49\u30d7\u30ed\u30b8\u30a7\u30af\u30c8<\/a><\/p>\r\n\n