{"id":4539,"date":"2022-05-30T13:41:01","date_gmt":"2022-05-30T22:41:01","guid":{"rendered":"https:\/\/prg.is.titech.ac.jp\/?p=4539"},"modified":"2022-05-30T13:44:36","modified_gmt":"2022-05-30T22:44:36","slug":"papers-on-algebraic-effects","status":"publish","type":"post","link":"https:\/\/prg.is.titech.ac.jp\/ja\/news\/papers-on-algebraic-effects\/","title":{"rendered":"\u4ee3\u6570\u7684\u30a8\u30d5\u30a7\u30af\u30c8\u306b\u95a2\u3059\u308b\u8ad6\u6587  (@ TFP 2022)"},"content":{"rendered":"<p>\u4ee5\u4e0b\u306e\u8ad6\u6587\u304c TFP 2022 \u306e\u4e88\u7a3f\u96c6\u306b\u63a1\u9332\u3055\u308c\u307e\u3057\u305f\uff0e<\/p>\n\n\n\n<ul class=\"wp-block-list\"><li><a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/furudono\/\" data-internallinksmanager029f6b8e52c=\"307\" title=\"\u53e4\u6bbf\u76f4\u4e5f\" target=\"_blank\" rel=\"noopener\">Naoya Furudono<\/a>, <a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/cong\/\" data-internallinksmanager029f6b8e52c=\"298\" title=\"\u53e2\u60a0\u60a0\" target=\"_blank\" rel=\"noopener\">Youyou Cong<\/a>, <a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/masuhara\/\" data-internallinksmanager029f6b8e52c=\"285\" title=\"\u5897\u539f\u82f1\u5f66\" target=\"_blank\" rel=\"noopener\">Hidehiko Masuhara<\/a>, and <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/daan\/\" data-internallinksmanager029f6b8e52c=\"319\" title=\"Daan Leijen\" target=\"_blank\" rel=\"noopener\">Daan Leijen<\/a>*. Towards&nbsp;Efficient Adjustment&nbsp;of Effect&nbsp;Rows<\/li><li><a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/ikemori\/\" data-internallinksmanager029f6b8e52c=\"308\" title=\"\u6c60\u5b88\u548c\u69fb\" target=\"_blank\" rel=\"noopener\">Kazuki Ikemori<\/a>, <a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/cong\/\" data-internallinksmanager029f6b8e52c=\"298\" title=\"\u53e2\u60a0\u60a0\" target=\"_blank\" rel=\"noopener\">Youyou Cong<\/a>, <a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/masuhara\/\" data-internallinksmanager029f6b8e52c=\"285\" title=\"\u5897\u539f\u82f1\u5f66\" target=\"_blank\" rel=\"noopener\">Hidehiko Masuhara<\/a>, and <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/daan\/\" data-internallinksmanager029f6b8e52c=\"319\" title=\"Daan Leijen\" target=\"_blank\" rel=\"noopener\">Daan Leijen<\/a>*. Sound and Complete Type Inference for Closed Effect Rows.<\/li><li><a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/cong\/\" data-internallinksmanager029f6b8e52c=\"298\" title=\"\u53e2\u60a0\u60a0\" target=\"_blank\" rel=\"noopener\">Youyou Cong<\/a> and Kenichi Asai. Understanding Algebraic Effect Handlers via Delimited Control Operators.<\/li><\/ul>\n\n\n\n<p>*Microsoft Research, USA<\/p>\n\n\n\n<p><\/p>","protected":false},"excerpt":{"rendered":"<p>\u4ee5\u4e0b\u306e\u8ad6\u6587\u304c TFP 2022 \u306e\u4e88\u7a3f\u96c6\u306b\u63a1\u9332\u3055\u308c\u307e\u3057\u305f\uff0e Naoya Furudono, Youyou Cong, Hidehiko Masuhara, and Daan Leijen*. Towards&nbsp;E&hellip; <a class=\"continue\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/papers-on-algebraic-effects\/\">Continue Reading \u4ee3\u6570\u7684\u30a8\u30d5\u30a7\u30af\u30c8\u306b\u95a2\u3059\u308b\u8ad6\u6587  (@ TFP 2022)<\/a><\/p>\n","protected":false},"author":6,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"nf_dc_page":"","_jetpack_memberships_contains_paid_content":false,"footnotes":""},"categories":[25,5],"tags":[],"class_list":["post-4539","post","type-post","status-publish","format-standard","hentry","category-effects","category-news","radius"],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/4539","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/users\/6"}],"replies":[{"embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/comments?post=4539"}],"version-history":[{"count":3,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/4539\/revisions"}],"predecessor-version":[{"id":4542,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/4539\/revisions\/4542"}],"wp:attachment":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/media?parent=4539"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/categories?post=4539"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/tags?post=4539"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}