{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:48:00Z","timestamp":1772164080455,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,1,11]],"date-time":"2016-01-11T00:00:00Z","timestamp":1452470400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001691","name":"Japan Society for the Promotion of Science","doi-asserted-by":"publisher","award":["15K11984, 24680001, 15KT0012, 26730004"],"award-info":[{"award-number":["15K11984, 24680001, 15KT0012, 26730004"]}],"id":[{"id":"10.13039\/501100001691","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,1,11]]},"DOI":"10.1145\/2837614.2837672","type":"proceedings-article","created":{"date-parts":[[2016,1,7]],"date-time":"2016-01-07T09:05:00Z","timestamp":1452157500000},"page":"748-760","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Memoryful geometry of Interaction II: recursion and adequacy"],"prefix":"10.1145","author":[{"given":"Koko","family":"Muroya","sequence":"first","affiliation":[{"name":"University of Tokyo, Japan"}]},{"given":"Naohiko","family":"Hoshino","sequence":"additional","affiliation":[{"name":"Kyoto University, Japan"}]},{"given":"Ichiro","family":"Hasuo","sequence":"additional","affiliation":[{"name":"University of Tokyo, Japan"}]}],"member":"320","published-online":{"date-parts":[[2016,1,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2000.2930"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129502003730"},{"key":"e_1_3_2_1_3_1","series-title":"Lecture Notes in Computer Science","first-page":"391","volume-title":"Programming Languages and Systems","author":"Dal Lago U.","unstructured":"U. Dal Lago and U. Sch\u00f6pp . Type inference for sublinear space functional programming . In Programming Languages and Systems , volume 6461 of Lecture Notes in Computer Science , pages 376\u2013 391 . Springer Berlin Heidelberg, 2010. U. Dal Lago and U. Sch\u00f6pp. Type inference for sublinear space functional programming. In Programming Languages and Systems, volume 6461 of Lecture Notes in Computer Science, pages 376\u2013391. Springer Berlin Heidelberg, 2010."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1993.287578"},{"key":"e_1_3_2_1_5_1","series-title":"Lecture Notes in Computer Science","first-page":"254","volume-title":"Computer Science Logic","author":"Egger J.","unstructured":"J. Egger , R. E. M\u00f8gelberg , and A. Simpson . Enriching an effect calculus with linear types . In E. Gr\u00e4del and R. Kahle, editors, Computer Science Logic , volume 5771 of Lecture Notes in Computer Science , pages 240\u2013 254 . Springer Berlin Heidelberg, 2009. J. Egger, R. E. M\u00f8gelberg, and A. Simpson. Enriching an effect calculus with linear types. In E. Gr\u00e4del and R. Kahle, editors, Computer Science Logic, volume 5771 of Lecture Notes in Computer Science, pages 240\u2013254. Springer Berlin Heidelberg, 2009."},{"key":"e_1_3_2_1_6_1","series-title":"Lecture Notes in Computer Science","first-page":"89","volume-title":"A. Corradini, H. Ehrig, H.-J","author":"Fern\u00e1ndez M.","unstructured":"M. Fern\u00e1ndez and I. Mackie . Call-by-value \u03bb-graph rewriting without rewriting . In A. Corradini, H. Ehrig, H.-J . Kreowski, and G. Rozenberg, editors, Graph Transformation , volume 2505 of Lecture Notes in Computer Science , pages 75\u2013 89 . Springer Berlin Heidelberg, 2002. M. Fern\u00e1ndez and I. Mackie. Call-by-value \u03bb-graph rewriting without rewriting. In A. Corradini, H. Ehrig, H.-J. Kreowski, and G. Rozenberg, editors, Graph Transformation, volume 2505 of Lecture Notes in Computer Science, pages 75\u201389. Springer Berlin Heidelberg, 2002."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190269"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2010.08.018"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926425"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034805"},{"key":"e_1_3_2_1_11_1","series-title":"Studies in Logic and the Foundations of Mathematics","first-page":"260","volume-title":"Logic Colloquium \u201988 Proceedings of the Colloquium held in Padova","author":"Girard J.-Y.","unstructured":"J.-Y. Girard . Geometry of interaction 1: Interpretation of system F . In S. V. R. Ferro, C. Bonotto and A. Zanardo, editors, Logic Colloquium \u201988 Proceedings of the Colloquium held in Padova , volume 127 of Studies in Logic and the Foundations of Mathematics , pages 221\u2013 260 . Elsevier, 1989. J.-Y. Girard. Geometry of interaction 1: Interpretation of system F. In S. V. R. Ferro, C. Bonotto and A. Zanardo, editors, Logic Colloquium \u201988 Proceedings of the Colloquium held in Padova, volume 127 of Studies in Logic and the Foundations of Mathematics, pages 221\u2013260. Elsevier, 1989."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/88278.88294"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2010.12.024"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129508007184"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/1987171.1987198"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2603088.2603124"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2000.2917"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0305004100074338"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2015.58"},{"key":"e_1_3_2_1_20_1","first-page":"297","volume-title":"TLCA","author":"Laurent O.","year":"2001","unstructured":"O. Laurent . A token machine for full Geometry of Interaction . In TLCA , pages 283\u2013 297 , 2001 . O. Laurent. A token machine for full Geometry of Interaction. In TLCA, pages 283\u2013297, 2001."},{"key":"e_1_3_2_1_21_1","volume-title":"Springer","author":"Mac Lane S.","year":"1998","unstructured":"S. Mac Lane . Categories for the working mathematician . Springer , 1998 . S. Mac Lane. Categories for the working mathematician. Springer, 1998."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199483"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/646793.704708"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1023064908962"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129597002375"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25318-8_23"},{"key":"e_1_3_2_1_29_1","series-title":"Lecture Notes in Computer Science","first-page":"448","volume-title":"Programming Languages and Systems","author":"Sch\u00f6pp U.","unstructured":"U. Sch\u00f6pp . Call-by-value in a basic logic for interaction . In J. Garrigue, editor, Programming Languages and Systems , volume 8858 of Lecture Notes in Computer Science , pages 428\u2013 448 . Springer International Publishing, 2014. U. Sch\u00f6pp. Call-by-value in a basic logic for interaction. In J. Garrigue, editor, Programming Languages and Systems, volume 8858 of Lecture Notes in Computer Science, pages 428\u2013448. Springer International Publishing, 2014."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-26529-2_14"}],"event":{"name":"POPL '16: The 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","location":"St. Petersburg FL USA","acronym":"POPL '16","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2837614.2837672","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2837614.2837672","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:43:38Z","timestamp":1750211018000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2837614.2837672"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,1,11]]},"references-count":28,"alternative-id":["10.1145\/2837614.2837672","10.1145\/2837614"],"URL":"https:\/\/doi.org\/10.1145\/2837614.2837672","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2914770.2837672","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2016,1,11]]},"assertion":[{"value":"2016-01-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}