{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T17:05:44Z","timestamp":1751648744604,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,6,13]],"date-time":"2022-06-13T00:00:00Z","timestamp":1655078400000},"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":[[2022,6,13]]},"DOI":"10.1145\/3520306.3534502","type":"proceedings-article","created":{"date-parts":[[2022,6,10]],"date-time":"2022-06-10T15:10:00Z","timestamp":1654873800000},"page":"25-36","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["From functional to imperative: combining destination-passing style and views"],"prefix":"10.1145","author":[{"given":"Zhitao","family":"Lin","sequence":"first","affiliation":[{"name":"McGill University, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christophe","family":"Dubach","sequence":"additional","affiliation":[{"name":"McGill University, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,6,13]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2578854.2503789"},{"key":"e_1_3_2_1_2_1","unstructured":"Robert Atkey Michel Steuwer Sam Lindley and Christophe Dubach. 2017. Strategy Preserving Compilation for Parallel Functional Code. arXiv preprint arXiv:1710.08332.  Robert Atkey Michel Steuwer Sam Lindley and Christophe Dubach. 2017. Strategy Preserving Compilation for Parallel Functional Code. arXiv preprint arXiv:1710.08332."},{"volume-title":"Implementation and Application of Functional Languages, Jurriaan Hage and Marco T","author":"Axelsson Emil","key":"e_1_3_2_1_3_1","unstructured":"Emil Axelsson , Koen Claessen , Mary Sheeran , Josef Svenningsson , David Engdal , and Anders Persson . 2011. The Design and Implementation of Feldspar: An Embedded Language for Digital Signal Processing . In Implementation and Application of Functional Languages, Jurriaan Hage and Marco T . Moraz\u00e1n (Eds.). 6647, Springer Berlin Heidelberg , Berlin, Heidelberg . 121\u2013136. isbn:978-3-642-24275-5 978-3-642-24276-2 Emil Axelsson, Koen Claessen, Mary Sheeran, Josef Svenningsson, David Engdal, and Anders Persson. 2011. The Design and Implementation of Feldspar: An Embedded Language for Digital Signal Processing. In Implementation and Application of Functional Languages, Jurriaan Hage and Marco T. Moraz\u00e1n (Eds.). 6647, Springer Berlin Heidelberg, Berlin, Heidelberg. 121\u2013136. isbn:978-3-642-24275-5 978-3-642-24276-2"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"L. Cardelli S. Martini J.C. Mitchell and A. Scedrov. 1994. An Extension of System f with Subtyping. Information and Computation 109 1 (1994) issn:0890-5401  L. Cardelli S. Martini J.C. Mitchell and A. Scedrov. 1994. An Extension of System f with Subtyping. Information and Computation 109 1 (1994) issn:0890-5401","DOI":"10.1006\/inco.1994.1013"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291220.1291199"},{"key":"e_1_3_2_1_6_1","volume-title":"Rewriting Haskell Strings. In International Symposium on Practical Aspects of Declarative Languages. 50\u201364","author":"Coutts Duncan","year":"2007","unstructured":"Duncan Coutts , Don Stewart , and Roman Leshchinskiy . 2007 . Rewriting Haskell Strings. In International Symposium on Practical Aspects of Declarative Languages. 50\u201364 . Duncan Coutts, Don Stewart, and Roman Leshchinskiy. 2007. Rewriting Haskell Strings. In International Symposium on Practical Aspects of Declarative Languages. 50\u201364."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796802004574"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/155090.155113"},{"volume-title":"Proceedings of the Conference on Functional Programming Languages and Computer Architecture - FPCA \u201993","author":"Gill Andrew","key":"e_1_3_2_1_9_1","unstructured":"Andrew Gill , John Launchbury , and Simon L . Peyton Jones. 1993. A Short Cut to Deforestation . In Proceedings of the Conference on Functional Programming Languages and Computer Architecture - FPCA \u201993 . ACM Press, Copenhagen, Denmark. 223\u2013232. isbn:978-0-89791-595-3 Andrew Gill, John Launchbury, and Simon L. Peyton Jones. 1993. A Short Cut to Deforestation. In Proceedings of the Conference on Functional Programming Languages and Computer Architecture - FPCA \u201993. ACM Press, Copenhagen, Denmark. 223\u2013232. isbn:978-0-89791-595-3"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10766-006-0018-x"},{"key":"e_1_3_2_1_11_1","first-page":"5617","volume-title":"Proceedings of the 2018 International Symposium on Code Generation and Optimization. ACM, Vienna Austria. 100\u2013112","author":"Hagedorn Bastian","year":"2018","unstructured":"Bastian Hagedorn , Larisa Stoltzfus , Michel Steuwer , Sergei Gorlatch , and Christophe Dubach . 2018 . High Performance Stencil Code Generation with Lift . In Proceedings of the 2018 International Symposium on Code Generation and Optimization. ACM, Vienna Austria. 100\u2013112 . isbn:978-1-4503- 5617 - 5616 Bastian Hagedorn, Larisa Stoltzfus, Michel Steuwer, Sergei Gorlatch, and Christophe Dubach. 2018. High Performance Stencil Code Generation with Lift. In Proceedings of the 2018 International Symposium on Code Generation and Optimization. ACM, Vienna Austria. 100\u2013112. isbn:978-1-4503-5617-6"},{"key":"e_1_3_2_1_12_1","volume-title":"Martin Elsman, Fritz Henglein, and Cosmin E Oancea.","author":"Henriksen Troels","year":"2017","unstructured":"Troels Henriksen , Niels G W Serup , Martin Elsman, Fritz Henglein, and Cosmin E Oancea. 2017 . Futhark : Purely Functional GPU-programming with Nested Parallelism and in-Place Array Updates . 16. Troels Henriksen, Niels G W Serup, Martin Elsman, Fritz Henglein, and Cosmin E Oancea. 2017. Futhark: Purely Functional GPU-programming with Nested Parallelism and in-Place Array Updates. 16."},{"key":"e_1_3_2_1_13_1","volume-title":"Roman Leshchinskiy, Simon Peyton Jones, and Ben Lippmeier.","author":"Keller Gabriele","year":"2010","unstructured":"Gabriele Keller , Manuel M T Chakravarty , Roman Leshchinskiy, Simon Peyton Jones, and Ben Lippmeier. 2010 . Regular, Shape- Polymorphic, Parallel Arrays in Haskell . 12. Gabriele Keller, Manuel M T Chakravarty, Roman Leshchinskiy, Simon Peyton Jones, and Ben Lippmeier. 2010. Regular, Shape-Polymorphic, Parallel Arrays in Haskell. 12."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009880"},{"key":"e_1_3_2_1_15_1","unstructured":"James R Larus. 1989. Restructuring Symbolic Programs for Concurrent Execution on Multiprocessors. CALIFORNIA UNIV BERKELEY DEPT OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCES.  James R Larus. 1989. Restructuring Symbolic Programs for Concurrent Execution on Multiprocessors. CALIFORNIA UNIV BERKELEY DEPT OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCES."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863523.1863533"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268953"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/SC.2010.2"},{"volume-title":"Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the Occasion of His Retirement from His Professorship at the University of Kiel)","author":"Nielson Flemming","key":"e_1_3_2_1_19_1","unstructured":"Flemming Nielson and Hanne Riis Nielson . 1999. Type and Effect Systems . In Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the Occasion of His Retirement from His Professorship at the University of Kiel) . Springer-Verlag , Berlin, Heidelberg . 114\u2013136. isbn:978-3-540-66624-0 Flemming Nielson and Hanne Riis Nielson. 1999. Type and Effect Systems. In Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the Occasion of His Retirement from His Professorship at the University of Kiel). Springer-Verlag, Berlin, Heidelberg. 114\u2013136. isbn:978-3-540-66624-0"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3122948.3122949"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3122948.3122949"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2784731.2784754"},{"key":"e_1_3_2_1_23_1","volume-title":"Lift: A Functional Data-Parallel IR for High-Performance GPU Code Generation. In 2017 IEEE\/ACM International Symposium on Code Generation and Optimization (CGO). 74\u201385","author":"Steuwer Michel","year":"2017","unstructured":"Michel Steuwer , Toomas Remmelg , and Christophe Dubach . 2017 . Lift: A Functional Data-Parallel IR for High-Performance GPU Code Generation. In 2017 IEEE\/ACM International Symposium on Code Generation and Optimization (CGO). 74\u201385 . Michel Steuwer, Toomas Remmelg, and Christophe Dubach. 2017. Lift: A Functional Data-Parallel IR for High-Performance GPU Code Generation. In 2017 IEEE\/ACM International Symposium on Code Generation and Optimization (CGO). 74\u201385."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3368858"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/583852.581491"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2636228.2636231"},{"key":"e_1_3_2_1_27_1","volume-title":"Obsidian: A Domain Specific Embedded Language for Parallel Programming of Graphics Processors. In Symposium on Implementation and Application of Functional Languages. 156\u2013173","author":"Svensson Joel","year":"2008","unstructured":"Joel Svensson , Mary Sheeran , and Koen Claessen . 2008 . Obsidian: A Domain Specific Embedded Language for Parallel Programming of Graphics Processors. In Symposium on Implementation and Application of Functional Languages. 156\u2013173 . Joel Svensson, Mary Sheeran, and Koen Claessen. 2008. Obsidian: A Domain Specific Embedded Language for Parallel Programming of Graphics Processors. In Symposium on Implementation and Application of Functional Languages. 156\u2013173."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-19027-9_23"},{"key":"e_1_3_2_1_29_1","unstructured":"Guangwei Zhang and Yinliang Zhao. 2016. Modeling the Performance of 2.5D Blocking of 3D Stencil Code on GPUs.  Guangwei Zhang and Yinliang Zhao. 2016. Modeling the Performance of 2.5D Blocking of 3D Stencil Code on GPUs."}],"event":{"name":"ARRAY '22: 8th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"San Diego CA USA","acronym":"ARRAY '22"},"container-title":["Proceedings of the 8th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3520306.3534502","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3520306.3534502","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:09:31Z","timestamp":1750183771000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3520306.3534502"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,13]]},"references-count":29,"alternative-id":["10.1145\/3520306.3534502","10.1145\/3520306"],"URL":"https:\/\/doi.org\/10.1145\/3520306.3534502","relation":{},"subject":[],"published":{"date-parts":[[2022,6,13]]},"assertion":[{"value":"2022-06-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}