{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:24:32Z","timestamp":1750220672505,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":10,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,1,17]],"date-time":"2021-01-17T00:00:00Z","timestamp":1610841600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,1,18]]},"DOI":"10.1145\/3441296.3441393","type":"proceedings-article","created":{"date-parts":[[2020,12,23]],"date-time":"2020-12-23T00:32:44Z","timestamp":1608683564000},"page":"1-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["A type-safe structure editor calculus"],"prefix":"10.1145","author":[{"given":"Christian","family":"Godiksen","sequence":"first","affiliation":[{"name":"Aalborg University, Denmark"}]},{"given":"Thomas","family":"Herrmann","sequence":"additional","affiliation":[{"name":"Aalborg University, Denmark"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4603-5407","authenticated-orcid":false,"given":"Hans","family":"H\u00fcttel","sequence":"additional","affiliation":[{"name":"Aalborg University, Denmark"}]},{"given":"Mikkel Korup","family":"Lauridsen","sequence":"additional","affiliation":[{"name":"Aalborg University, Denmark"}]},{"given":"Iman","family":"Owliaie","sequence":"additional","affiliation":[{"name":"Aalborg University, Denmark"}]}],"member":"320","published-online":{"date-parts":[[2021,1,17]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"Anywhere: Modal Logics for Mobile Ambients. In POPL 2000, Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"Cardelli Luca","year":"2000","unstructured":"Luca Cardelli and Andrew D. Gordon . 2000. Anytime , Anywhere: Modal Logics for Mobile Ambients. In POPL 2000, Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages , Boston, Massachusetts, USA , January 19-21, 2000 , Mark N. Wegman and Thomas W. Reps (Eds.). ACM, 365-377. htps:\/\/doi.org\/ 10.1145\/325694.325742 Luca Cardelli and Andrew D. Gordon. 2000. Anytime, Anywhere: Modal Logics for Mobile Ambients. In POPL 2000, Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Boston, Massachusetts, USA, January 19-21, 2000, Mark N. Wegman and Thomas W. Reps (Eds.). ACM, 365-377. htps:\/\/doi.org\/ 10.1145\/325694.325742"},{"unstructured":"Matthias Felleisen and Robert Hieb. 1992. The revised report on the syntactic theories of sequential control and state. Theoretical Computer Science 103 2 ( 1992 ) 235-271. htps:\/\/doi.org\/10.1016\/ 0304-3975 ( 92 ) 90014-7  Matthias Felleisen and Robert Hieb. 1992. The revised report on the syntactic theories of sequential control and state. Theoretical Computer Science 103 2 ( 1992 ) 235-271. htps:\/\/doi.org\/10.1016\/ 0304-3975 ( 92 ) 90014-7","key":"e_1_3_2_2_2_1"},{"key":"e_1_3_2_2_3_1","volume-title":"Vasco Thudichum Vasconcelos, and Makoto Kubo","author":"Honda Kohei","year":"1998","unstructured":"Kohei Honda , Vasco Thudichum Vasconcelos, and Makoto Kubo . 1998 . Language primitives and type disciplines for structured communication-based programming. In ESOP'98 (LNCS, Vol. 1381 ). Springer , 22-138. Kohei Honda, Vasco Thudichum Vasconcelos, and Makoto Kubo. 1998. Language primitives and type disciplines for structured communication-based programming. In ESOP'98 (LNCS, Vol. 1381 ). Springer, 22-138."},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_4_1","DOI":"10.1017\/S0956796897002864"},{"key":"e_1_3_2_2_5_1","volume-title":"Hugo Torres Vieira, and Gianluigi Zavattaro","author":"H\u00fcttel Hans","year":"2016","unstructured":"Hans H\u00fcttel , Ivan Lanese , Vasco T. Vasconcelos , Lu\u00eds Caires , Marco Carbone , Pierre-Malo Deni\u00e9lou , Dimitris Mostrous , Luca Padovani , Ant\u00f3nio Ravara , Emilio Tuosto , Hugo Torres Vieira, and Gianluigi Zavattaro . 2016 . Foundations of Session Types and Behavioural Contracts. ACM Comput. Surv . 49, 1 ( 2016 ), 3 : 1-3 : 36. htps:\/\/doi.org\/10. 1145\/2873052 Hans H\u00fcttel, Ivan Lanese, Vasco T. Vasconcelos, Lu\u00eds Caires, Marco Carbone, Pierre-Malo Deni\u00e9lou, Dimitris Mostrous, Luca Padovani, Ant\u00f3nio Ravara, Emilio Tuosto, Hugo Torres Vieira, and Gianluigi Zavattaro. 2016. Foundations of Session Types and Behavioural Contracts. ACM Comput. Surv. 49, 1 ( 2016 ), 3 : 1-3 : 36. htps:\/\/doi.org\/10. 1145\/2873052"},{"volume-title":"Proc. ACM Program. Lang. 3, POPL ( 2019 ), 14 : 1-14 : 32","author":"Omar Cyrus","unstructured":"Cyrus Omar , Ian Voysey , Ravi Chugh , and Matthew A. Hammer . 2019. Live functional programming with typed holes . Proc. ACM Program. Lang. 3, POPL ( 2019 ), 14 : 1-14 : 32 . htps:\/\/doi.org\/10.1145\/3290327 Cyrus Omar, Ian Voysey, Ravi Chugh, and Matthew A. Hammer. 2019. Live functional programming with typed holes. Proc. ACM Program. Lang. 3, POPL ( 2019 ), 14 : 1-14 : 32. htps:\/\/doi.org\/10.1145\/3290327","key":"e_1_3_2_2_6_1"},{"key":"e_1_3_2_2_7_1","volume-title":"Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017","author":"Omar Cyrus","year":"2017","unstructured":"Cyrus Omar , Ian Voysey , Michael Hilton , Jonathan Aldrich , and Matthew A. Hammer . 2017. Hazelnut: a bidirectionally typed structure editor calculus . In Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017 , Paris, France , January 18-20, 2017 , Giuseppe Castagna and Andrew D. Gordon (Eds.). ACM, 86-99. htp:\/\/dl.acm.org\/citation.cfm?id= 3009900 Cyrus Omar, Ian Voysey, Michael Hilton, Jonathan Aldrich, and Matthew A. Hammer. 2017. Hazelnut: a bidirectionally typed structure editor calculus. In Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017, Giuseppe Castagna and Andrew D. Gordon (Eds.). ACM, 86-99. htp:\/\/dl.acm.org\/citation.cfm?id= 3009900"},{"volume-title":"Types and programming languages","author":"Pierce Benjamin C.","unstructured":"Benjamin C. Pierce . 2002. Types and programming languages . MIT Press . 104-108 pages. Benjamin C. Pierce. 2002. Types and programming languages. MIT Press. 104-108 pages.","key":"e_1_3_2_2_8_1"},{"key":"e_1_3_2_2_9_1","first-page":"81","article-title":"Gradual Typing for Functional Languages","author":"Siek Jeremy G.","year":"2006","unstructured":"Jeremy G. Siek and Walid Taha . 2006 . Gradual Typing for Functional Languages . In IN SCHEME AND FUNCTIONAL PROGRAMMING WORKSHOP. 81 - 92 . Jeremy G. Siek and Walid Taha. 2006. Gradual Typing for Functional Languages. In IN SCHEME AND FUNCTIONAL PROGRAMMING WORKSHOP. 81-92.","journal-title":"IN SCHEME AND FUNCTIONAL PROGRAMMING WORKSHOP."},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_10_1","DOI":"10.1145\/358746.358755"}],"event":{"sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"acronym":"POPL '21","name":"POPL '21: The 48th Annual ACM SIGPLAN Symposium on Principles of Programming Languages","location":"Virtual Denmark"},"container-title":["Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3441296.3441393","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3441296.3441393","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:03:04Z","timestamp":1750197784000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3441296.3441393"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,1,17]]},"references-count":10,"alternative-id":["10.1145\/3441296.3441393","10.1145\/3441296"],"URL":"https:\/\/doi.org\/10.1145\/3441296.3441393","relation":{},"subject":[],"published":{"date-parts":[[2021,1,17]]},"assertion":[{"value":"2021-01-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}