{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T03:34:13Z","timestamp":1767929653071,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,16]]},"DOI":"10.1145\/3736112.3736141","type":"proceedings-article","created":{"date-parts":[[2025,6,13]],"date-time":"2025-06-13T15:02:27Z","timestamp":1749826947000},"page":"1-16","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Structuring Arrays with Algebraic Shapes"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0000-7210-3760","authenticated-orcid":false,"given":"Jakub","family":"Bachurski","sequence":"first","affiliation":[{"name":"University of Cambridge, Cambridge, United Kingdom"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7013-8572","authenticated-orcid":false,"given":"Alan","family":"Mycroft","sequence":"additional","affiliation":[{"name":"University of Cambridge, Cambridge, United Kingdom"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7058-7842","authenticated-orcid":false,"given":"Dominic","family":"Orchard","sequence":"additional","affiliation":[{"name":"University of Cambridge, Cambridge, United Kingdom"},{"name":"University of Kent, Canterbury, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2025,6,16]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44904-3_2"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3652586.3663312"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3609024.3609412"},{"key":"e_1_3_2_2_4_1","first-page":"2023","volume-title":"Trans. Mach. Learn. Res.","author":"Chiang David","year":"2023","unstructured":"David Chiang, Alexander M. Rush, and Boaz Barak. 2023. Named Tensor Notation. Trans. Mach. Learn. Res., 2023 (2023), https:\/\/openreview.net\/forum?id=hVT7SHlilx"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3589246.3595372"},{"key":"e_1_3_2_2_6_1","volume-title":"Algebraic subtyping","author":"Dolan Stephen","unstructured":"Stephen Dolan. 2017. Algebraic subtyping. University of Cambridge."},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009882"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54434-1_21"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1038\/S41586-020-2649-2"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3460944.3464310"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.5334\/jors.148"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1460833.1460872"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3409006"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3563304"},{"key":"e_1_3_2_2_15_1","volume-title":"High-Performance Deep Learning Library. In Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019","author":"Paszke Adam","year":"2019","unstructured":"Adam Paszke, Sam Gross, Francisco Massa, Adam Lerer, James Bradbury, Gregory Chanan, Trevor Killeen, Zeming Lin, Natalia Gimelshein, Luca Antiga, Alban Desmaison, Andreas K\u00f6pf, Edward Z. Yang, Zachary DeVito, Martin Raison, Alykhan Tejani, Sasank Chilamkurthy, Benoit Steiner, Lu Fang, Junjie Bai, and Soumith Chintala. 2019. PyTorch: An Imperative Style, High-Performance Deep Learning Library. In Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, NeurIPS 2019, December 8-14, 2019, Vancouver, BC, Canada, Hanna M. Wallach, Hugo Larochelle, Alina Beygelzimer, Florence d\u2019Alch\u00e9-Buc, Emily B. Fox, and Roman Garnett (Eds.). 8024\u20138035. https:\/\/proceedings.neurips.cc\/paper\/2019\/hash\/bdbca288fee7f92f2bfa9f7012727740-Abstract.html"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3473593"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3609027.3609406"},{"key":"e_1_3_2_2_18_1","volume-title":"Types and programming languages","author":"Pierce Benjamin C.","unstructured":"Benjamin C. Pierce. 2002. Types and programming languages. MIT Press. isbn:978-0-262-16209-8"},{"key":"e_1_3_2_2_19_1","unstructured":"Fran\u00e7ois Pottier. 1998. Type Inference in the Presence of Subtyping: from Theory to Practice. INRIA. https:\/\/inria.hal.science\/inria-00073205"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75284"},{"key":"e_1_3_2_2_21_1","volume-title":"Einops: Clear and Reliable Tensor Manipulations with Einstein-like Notation. In The Tenth International Conference on Learning Representations, ICLR 2022","author":"Rogozhnikov Alex","year":"2022","unstructured":"Alex Rogozhnikov. 2022. Einops: Clear and Reliable Tensor Manipulations with Einstein-like Notation. In The Tenth International Conference on Learning Representations, ICLR 2022, Virtual Event, April 25-29, 2022. OpenReview.net. https:\/\/openreview.net\/forum?id=oapKSVM2bcj"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37036-6_30"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796802004458"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341701"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54833-8_3"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/99370.99404"},{"key":"e_1_3_2_2_27_1","volume-title":"Proceedings of the Symposium on Logic in Computer Science (LICS \u201987)","author":"Wand Mitchell","year":"1987","unstructured":"Mitchell Wand. 1987. Complete Type Inference for Simple Objects. In Proceedings of the Symposium on Logic in Computer Science (LICS \u201987), Ithaca, New York, USA, June 22-25, 1987. IEEE Computer Society, 37\u201344. http:\/\/www.ccs.neu.edu\/home\/wand\/papers\/wand-lics-87.pdf"}],"event":{"name":"ARRAY '25: 11th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming","location":"Seoul Republic of Korea","acronym":"ARRAY '25","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 11th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3736112.3736141","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,16]],"date-time":"2025-07-16T05:57:33Z","timestamp":1752645453000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3736112.3736141"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,16]]},"references-count":27,"alternative-id":["10.1145\/3736112.3736141","10.1145\/3736112"],"URL":"https:\/\/doi.org\/10.1145\/3736112.3736141","relation":{},"subject":[],"published":{"date-parts":[[2025,6,16]]},"assertion":[{"value":"2025-06-16","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}