{"id":9019,"date":"2025-02-10T03:34:34","date_gmt":"2025-02-10T12:34:34","guid":{"rendered":"https:\/\/prg.is.titech.ac.jp\/?p=9019"},"modified":"2025-03-18T16:31:35","modified_gmt":"2025-03-19T01:31:35","slug":"paper-on-dependent-type-preserving-cps-translation-to-appear-in-ifl-2024-proceedings","status":"publish","type":"post","link":"https:\/\/prg.is.titech.ac.jp\/ja\/news\/paper-on-dependent-type-preserving-cps-translation-to-appear-in-ifl-2024-proceedings\/","title":{"rendered":"Paper on Dependent-Type-Preserving CPS Translation to Appear in IFL 2024 Proceedings"},"content":{"rendered":"<p> \u4ee5\u4e0b\u306e\u8ad6\u6587\u304c <a href=\"https:\/\/ifl24.cs.ru.nl\/\">36th Symposium on Implementation and Application of Functional Languages (IFL 2024)<\/a> \u306e\u8ad6\u6587\u96c6\u306b\u63b2\u8f09\u3055\u308c\u307e\u3059\u3002<\/p>\n<p><\/p>\n<ul>\n<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>, <a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/kawazoe\/\" data-internallinksmanager029f6b8e52c=\"330\" title=\"\u5ddd\u6dfb\u88d5\u529f\" target=\"_blank\" rel=\"noopener\">Hironori Kawazoe<\/a>, and <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>.\u00a0 A Mostly CPS, Partly ANF Translation of Dependent Types.<\/li>\n<\/ul>","protected":false},"excerpt":{"rendered":"<p>\u4ee5\u4e0b\u306e\u8ad6\u6587\u304c 36th Symposium on Implementation and Application of Functional Languages (IFL 2024) \u306e\u8ad6\u6587\u96c6\u306b\u63b2\u8f09\u3055\u308c\u307e\u3059\u3002 Youyou&hellip; <a class=\"continue\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/paper-on-dependent-type-preserving-cps-translation-to-appear-in-ifl-2024-proceedings\/\">Continue Reading Paper on Dependent-Type-Preserving CPS Translation to Appear in IFL 2024 Proceedings<\/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-9019","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\/9019","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=9019"}],"version-history":[{"count":1,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/9019\/revisions"}],"predecessor-version":[{"id":9020,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/9019\/revisions\/9020"}],"wp:attachment":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/media?parent=9019"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/categories?post=9019"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/tags?post=9019"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}