{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:36Z","timestamp":1772164056027,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":38,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,9,25]],"date-time":"2013-09-25T00:00:00Z","timestamp":1380067200000},"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":[[2013,9,25]]},"DOI":"10.1145\/2500365.2500580","type":"proceedings-article","created":{"date-parts":[[2013,9,25]],"date-time":"2013-09-25T09:13:17Z","timestamp":1380100397000},"page":"245-256","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["A short cut to parallelization theorems"],"prefix":"10.1145","author":[{"given":"Akimasa","family":"Morihata","sequence":"first","affiliation":[{"name":"Tohoku University, Sendai-shi, Miyagi, Japan"}]}],"member":"320","published-online":{"date-parts":[[2013,9,25]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796805005678"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/248932"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25318-8_9"},{"key":"e_1_3_2_1_4_1","first-page":"153","volume-title":"Proceedings of the 1998 International Conference on Computer Languages, ICCL '98","author":"Chin W.-N.","year":"1998","unstructured":"W.-N. Chin , A. Takano , and Z. Hu . Parallelization via context preservation . In Proceedings of the 1998 International Conference on Computer Languages, ICCL '98 , pages 153 -- 162 . IEEE, 1998 . W.-N. Chin, A. Takano, and Z. Hu. Parallelization via context preservation. In Proceedings of the 1998 International Conference on Computer Languages, ICCL '98, pages 153--162. IEEE, 1998."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/317636.317907"},{"key":"e_1_3_2_1_6_1","volume-title":"Tupling and mutumorphisms. Squiggolist, 1(4)","author":"Fokkinga M. M.","year":"1989","unstructured":"M. M. Fokkinga . Tupling and mutumorphisms. Squiggolist, 1(4) , 1989 . M. M. Fokkinga. Tupling and mutumorphisms. Squiggolist, 1(4), 1989."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796899003536"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796807006314"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800001908"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(96)00114-4"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80906-X"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/165180.165214"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(97)00014-2"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2012.07.011"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/256167.256201"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268972"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796897002864"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022982420888"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1017\/S095679680800693X"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/646663.699972"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/224164.224223"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/2033408.2033414"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(90)90023-7"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1148109.1148116"},{"key":"e_1_3_2_1_26_1","volume-title":"5th ACM Conference, Proceedings","volume":"523","author":"Meijer E.","year":"1991","unstructured":"E. Meijer , M. M. Fokkinga , and R. Paterson . Functional programming with bananas, lenses, envelopes and barbed wire. In Functional Programming Languages and Computer Architecture , 5th ACM Conference, Proceedings , volume 523 of Lecture Notes in Computer Science, pages 124--144. Springer , 1991 . E. Meijer, M. M. Fokkinga, and R. Paterson. Functional programming with bananas, lenses, envelopes and barbed wire. In Functional Programming Languages and Computer Architecture, 5th ACM Conference, Proceedings, volume 523 of Lecture Notes in Computer Science, pages 124--144. Springer, 1991."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/197320.197356"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12251-4_23"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480881.1480905"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250752"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034824"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/562546"},{"key":"e_1_3_2_1_33_1","first-page":"513","article-title":"Types, abstraction and parametric polymorphism","volume":"83","author":"Reynolds J. C.","year":"1983","unstructured":"J. C. Reynolds . Types, abstraction and parametric polymorphism . Information Processing , 83 : 513 -- 523 , 1983 . J. C. Reynolds. Types, abstraction and parametric polymorphism. Information Processing, 83:513--523, 1983.","journal-title":"Information Processing"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/581478.581491"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/224164.224221"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/645387.651542"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/99370.99404"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30477-7_14"},{"key":"e_1_3_2_1_39_1","first-page":"399","volume-title":"On-line Pre-Review Processings of the Sixth Symposium on Trends in Functional Programming, TFP 2005","author":"Yokoyama T.","year":"2005","unstructured":"T. Yokoyama , Z. Hu , and M. Takeichi . Calculation rules for warming-up in fusion transformation . In On-line Pre-Review Processings of the Sixth Symposium on Trends in Functional Programming, TFP 2005 , pages 399 -- 412 , 2005 . T. Yokoyama, Z. Hu, and M. Takeichi. Calculation rules for warming-up in fusion transformation. In On-line Pre-Review Processings of the Sixth Symposium on Trends in Functional Programming, TFP 2005, pages 399--412, 2005."}],"event":{"name":"ICFP'13: ACM SIGPLAN International Conference on Functional Programming","location":"Boston Massachusetts USA","acronym":"ICFP'13","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","Northeastern University"]},"container-title":["Proceedings of the 18th ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2500365.2500580","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2500365.2500580","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:34:32Z","timestamp":1750217672000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2500365.2500580"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9,25]]},"references-count":38,"alternative-id":["10.1145\/2500365.2500580","10.1145\/2500365"],"URL":"https:\/\/doi.org\/10.1145\/2500365.2500580","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2544174.2500580","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2013,9,25]]},"assertion":[{"value":"2013-09-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}