{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:24Z","timestamp":1772164044632,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":11,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,9,19]],"date-time":"2011-09-19T00:00:00Z","timestamp":1316390400000},"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":[[2011,9,19]]},"DOI":"10.1145\/2034773.2034824","type":"proceedings-article","created":{"date-parts":[[2011,9,20]],"date-time":"2011-09-20T09:50:16Z","timestamp":1316512216000},"page":"385-391","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Generalising and dualising the third list-homomorphism theorem"],"prefix":"10.1145","author":[{"given":"Shin-Cheng","family":"Mu","sequence":"first","affiliation":[{"name":"Academia Sinica, Taipei, Taiwan Roc"}]},{"given":"Akimasa","family":"Morihata","sequence":"additional","affiliation":[{"name":"Tohoku University, Sendai, Japan"}]}],"member":"320","published-online":{"date-parts":[[2011,9,19]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/42675.42676"},{"key":"e_1_3_2_2_2_1","volume-title":"Synthesis of Parallel Algorithms","author":"Blelloch G. E.","year":"1993","unstructured":"G. E. Blelloch . Prefix sums and their applications . In J. E. Reif, editor, Synthesis of Parallel Algorithms . Morgan Kaufmann Publishers Inc ., San Francisco, CA, USA, 1993 . G. E. Blelloch. Prefix sums and their applications. In J. E. Reif, editor, Synthesis of Parallel Algorithms. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 1993."},{"key":"e_1_3_2_2_3_1","volume-title":"Algorithmic Skeletons: Structural Management of Parallel Computation","author":"Cole M. I.","year":"1989","unstructured":"M. I. Cole . Algorithmic Skeletons: Structural Management of Parallel Computation . MIT Press , 1989 . M. I. Cole. Algorithmic Skeletons: Structural Management of Parallel Computation. MIT Press, 1989."},{"key":"e_1_3_2_2_4_1","volume-title":"A Discipline of Programming","author":"Dijkstra E. W.","year":"1976","unstructured":"E. W. Dijkstra . A Discipline of Programming . Prentice Hall PTR , 1976 . E. W. Dijkstra. A Discipline of Programming. Prentice Hall PTR, 1976."},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796899003536"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800001908"},{"key":"e_1_3_2_2_7_1","volume-title":"When is a function a fold or an unfold? Electr. Notes Theor. Comput. Sci., 44 (1)","author":"Gibbons J.","year":"2001","unstructured":"J. Gibbons , G. Hutton , and T. Altenkirch . When is a function a fold or an unfold? Electr. Notes Theor. Comput. Sci., 44 (1) , 2001 . J. Gibbons, G. Hutton, and T. Altenkirch. When is a function a fold or an unfold? Electr. Notes Theor. Comput. Sci., 44 (1), 2001."},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796897002864"},{"issue":"2","key":"e_1_3_2_2_9_1","first-page":"132","article-title":"Program parallelization by candidate generation and conformity testing","volume":"2","author":"Morihata A.","year":"2009","unstructured":"A. Morihata , K. Matsuzaki , Z. Hu , and M. Takeichi . Program parallelization by candidate generation and conformity testing . IPSJ Transaction on Programming , 2 ( 2 ): 132 -- 143 , 2009 . (In Japanese). A. Morihata, K. Matsuzaki, Z. Hu, and M. Takeichi. Program parallelization by candidate generation and conformity testing. IPSJ Transaction on Programming, 2 (2): 132--143, 2009. (In Japanese).","journal-title":"IPSJ Transaction on Programming"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480881.1480905"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250752"}],"event":{"name":"ICFP '11: ACM SIGPLAN International Conference on Functional Programming","location":"Tokyo Japan","acronym":"ICFP '11","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 16th ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2034773.2034824","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2034773.2034824","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:48:39Z","timestamp":1750225719000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2034773.2034824"}},"subtitle":["functional pearl"],"short-title":[],"issued":{"date-parts":[[2011,9,19]]},"references-count":11,"alternative-id":["10.1145\/2034773.2034824","10.1145\/2034773"],"URL":"https:\/\/doi.org\/10.1145\/2034773.2034824","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2034574.2034824","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2011,9,19]]},"assertion":[{"value":"2011-09-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}