{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T13:06:52Z","timestamp":1754485612543,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,8,30]],"date-time":"2023-08-30T00:00:00Z","timestamp":1693353600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF (National Science Foundation)","doi-asserted-by":"publisher","award":["2244839"],"award-info":[{"award-number":["2244839"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,8,30]]},"DOI":"10.1145\/3609023.3609803","type":"proceedings-article","created":{"date-parts":[[2023,8,31]],"date-time":"2023-08-31T19:53:30Z","timestamp":1693511610000},"page":"32-43","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Homotopy Type Theory for Sewn Quilts"],"prefix":"10.1145","author":[{"given":"Charlotte","family":"Clark","sequence":"first","affiliation":[{"name":"Worcester Polytechnic Institute, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rose","family":"Bohrer","sequence":"additional","affiliation":[{"name":"Worcester Polytechnic Institute, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,8,31]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2851581.2889466"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2692915.2628158"},{"key":"e_1_3_2_1_3_1","volume-title":"Two-Level Type Theory and Applications. CoRR, abs\/1705.03307","author":"Annenkov Danil","year":"2017","unstructured":"Danil Annenkov , Paolo Capriotti , and Nicolai Kraus . 2017. Two-Level Type Theory and Applications. CoRR, abs\/1705.03307 ( 2017 ), arXiv:1705.03307. arxiv:1705.03307 Danil Annenkov, Paolo Capriotti, and Nicolai Kraus. 2017. Two-Level Type Theory and Applications. CoRR, abs\/1705.03307 (2017), arXiv:1705.03307. arxiv:1705.03307"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-03592-1_7"},{"volume-title":"Encyclopedia of pieced quilt patterns","author":"Brackman Barbara","key":"e_1_3_2_1_5_1","unstructured":"Barbara Brackman . 1993. Encyclopedia of pieced quilt patterns . American Quilter\u2019s Society . Barbara Brackman. 1993. Encyclopedia of pieced quilt patterns. American Quilter\u2019s Society."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1357054.1357123"},{"volume-title":"Higher inductive types and internal parametricity for cubical type theory. Ph. D. Dissertation","author":"Cavallo Evan","key":"e_1_3_2_1_7_1","unstructured":"Evan Cavallo . 2021. Higher inductive types and internal parametricity for cubical type theory. Ph. D. Dissertation . Carnegie Mellon University . Evan Cavallo. 2021. Higher inductive types and internal parametricity for cubical type theory. Ph. D. Dissertation. Carnegie Mellon University."},{"volume-title":"Homotopy Type Theory for Sewn Quilts","author":"Clark Charlotte","key":"e_1_3_2_1_8_1","unstructured":"Charlotte Clark . 2023. Homotopy Type Theory for Sewn Quilts . Worcester Polytechnic Institute. Master\u2019s Thesis (In Press) Charlotte Clark. 2023. Homotopy Type Theory for Sewn Quilts. Worcester Polytechnic Institute. Master\u2019s Thesis (In Press)"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.2312\/SBM\/SBM05\/165-174"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1017\/S095679681800014X"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3450741.3466635"},{"key":"e_1_3_2_1_12_1","volume-title":"The HoTTest Summer School. https:\/\/www.uwo.ca\/math\/faculty\/kapulkin\/seminars\/hottest_summer_school_2022.html Accessed","author":"Kapulkin Chris","year":"2023","unstructured":"Chris Kapulkin . 2022. The HoTTest Summer School. https:\/\/www.uwo.ca\/math\/faculty\/kapulkin\/seminars\/hottest_summer_school_2022.html Accessed : April 18, 2023 Chris Kapulkin. 2022. The HoTTest Summer School. https:\/\/www.uwo.ca\/math\/faculty\/kapulkin\/seminars\/hottest_summer_school_2022.html Accessed: April 18, 2023"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3450626.3459853"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3411764.3445601"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.20380\/GI2019.13"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092919.3092925"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3532106.3533554"},{"key":"e_1_3_2_1_18_1","volume-title":"https:\/\/www.mfa.org\/exhibition\/fabric-of-a-nation Accessed","author":"Powers Harriet","year":"2023","unstructured":"Harriet Powers . 2021. Bible Quilt . https:\/\/www.mfa.org\/exhibition\/fabric-of-a-nation Accessed : April 18, 2023 Harriet Powers. 2021. Bible Quilt. https:\/\/www.mfa.org\/exhibition\/fabric-of-a-nation Accessed: April 18, 2023"},{"volume-title":"Homotopy type theory: Univalent foundations of mathematics. The Univalent Foundations Program","author":"Program Univalent Foundations","key":"e_1_3_2_1_19_1","unstructured":"Univalent Foundations Program . 2013. Homotopy type theory: Univalent foundations of mathematics. The Univalent Foundations Program , Institute for Advanced Study . Univalent Foundations Program. 2013. Homotopy type theory: Univalent foundations of mathematics. The Univalent Foundations Program, Institute for Advanced Study."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3173225.3173249"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3386569.3392375"},{"key":"e_1_3_2_1_22_1","volume-title":"Barbara: live Coding Language for Quilters - About. https:\/\/www.barbara.graphics\/about Accessed","author":"Zellerbach Kit","year":"2023","unstructured":"Kit Zellerbach and Charlie Roberts . 2021. Barbara: live Coding Language for Quilters - About. https:\/\/www.barbara.graphics\/about Accessed : April 18, 2023 Kit Zellerbach and Charlie Roberts. 2021. Barbara: live Coding Language for Quilters - About. https:\/\/www.barbara.graphics\/about Accessed: April 18, 2023"}],"event":{"name":"FARM '23: 11th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Seattle WA USA","acronym":"FARM '23"},"container-title":["Proceedings of the 11th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3609023.3609803","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3609023.3609803","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:48:57Z","timestamp":1750182537000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3609023.3609803"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8,30]]},"references-count":22,"alternative-id":["10.1145\/3609023.3609803","10.1145\/3609023"],"URL":"https:\/\/doi.org\/10.1145\/3609023.3609803","relation":{},"subject":[],"published":{"date-parts":[[2023,8,30]]},"assertion":[{"value":"2023-08-31","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}