{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:45:56Z","timestamp":1772163956499,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,1,21]],"date-time":"2009-01-21T00:00:00Z","timestamp":1232496000000},"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":[[2009,1,21]]},"DOI":"10.1145\/1480881.1480905","type":"proceedings-article","created":{"date-parts":[[2009,1,20]],"date-time":"2009-01-20T09:41:38Z","timestamp":1232444498000},"page":"177-185","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":22,"title":["The third homomorphism theorem on trees"],"prefix":"10.1145","author":[{"given":"Akimasa","family":"Morihata","sequence":"first","affiliation":[{"name":"University of Tokyo, Tokyo, Japan"}]},{"given":"Kiminori","family":"Matsuzaki","sequence":"additional","affiliation":[{"name":"University of Tokyo, Tokyo, Japan"}]},{"given":"Zhenjiang","family":"Hu","sequence":"additional","affiliation":[{"name":"National Institute of Informatics, Tokyo, Japan"}]},{"given":"Masato","family":"Takeichi","sequence":"additional","affiliation":[{"name":"University of Tokyo, Tokyo, Japan"}]}],"member":"320","published-online":{"date-parts":[[2009,1,21]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/0196-6774(89)90017-5"},{"key":"e_1_3_2_1_2_1","first-page":"28","volume-title":"Advanced Functional Programming","author":"Backhouse Roland Carl","year":"1998","unstructured":"Roland Carl Backhouse , Patrik Jansson , Johan Jeuring , and Lambert G. L. T. Meertens. Generic programming: An introduction . In Advanced Functional Programming , pages 28 -- 115 , 1998 . Roland Carl Backhouse, Patrik Jansson, Johan Jeuring, and Lambert G. L. T. Meertens. Generic programming: An introduction. In Advanced Functional Programming, pages 28--115, 1998."},{"key":"e_1_3_2_1_3_1","first-page":"3","volume-title":"Logic of Programming and Calculi of Discrete Design","author":"Bird Richard S.","year":"1987","unstructured":"Richard S. Bird . An introduction to the theory of lists . In Logic of Programming and Calculi of Discrete Design , pages 3 -- 42 . Springer , 1987 . NATO ASI Series F Volume 36. Richard S. Bird. An introduction to the theory of lists. In Logic of Programming and Calculi of Discrete Design, pages 3--42. Springer, 1987. NATO ASI Series F Volume 36."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/154630.154643"},{"key":"e_1_3_2_1_5_1","volume-title":"PARCO 1993","author":"Cole Murray","year":"1994","unstructured":"Murray Cole . Parallel programming, list homomorphisms and the maximum segment sum problem. In Parallel Computing: Trends and Applications , PARCO 1993 , Grenoble, France, pages 489--492. Elsevier , 1994 . Murray Cole. Parallel programming, list homomorphisms and the maximum segment sum problem. In Parallel Computing: Trends and Applications, PARCO 1993, Grenoble, France, pages 489--492. Elsevier, 1994."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0129626495000175"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01762121"},{"key":"e_1_3_2_1_8_1","volume-title":"Squiggolist","author":"Fokkinga Maarten M.","unstructured":"Maarten M. Fokkinga . Tupling and mutumorphisms . In Squiggolist , volume 1(4), 1989 . Maarten M. Fokkinga. Tupling and mutumorphisms. In Squiggolist, volume 1(4), 1989."},{"key":"e_1_3_2_1_9_1","volume-title":"Designing and Building Parallel Programs","author":"Foster Ian","year":"1995","unstructured":"Ian Foster . Designing and Building Parallel Programs . Addison Wesley , 1995 . Ian Foster. Designing and Building Parallel Programs. Addison Wesley, 1995."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796899003536"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(89)90027-8"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800001908"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(94)00013-1"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/256167.256201"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/258948.258964"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796897002864"},{"key":"e_1_3_2_1_19_1","volume-title":"9th International Euro-Par Conference","volume":"2790","author":"Matsuzaki Kiminori","year":"2003","unstructured":"Kiminori Matsuzaki , Zhenjiang Hu , and Masato Takeichi . Parallelization with tree skeletons. In Euro-Par 2003. Parallel Processing , 9th International Euro-Par Conference , Klagenfurt, Austria , August 26-29, 2003 . Proceedings, volume 2790 of Lecture Notes in Computer Science, pages 789--798. Springer, 2003. Kiminori Matsuzaki, Zhenjiang Hu, and Masato Takeichi. Parallelization with tree skeletons. In Euro-Par 2003. Parallel Processing, 9th International Euro-Par Conference, Klagenfurt, Austria, August 26-29, 2003. Proceedings, volume 2790 of Lecture Notes in Computer Science, pages 789--798. Springer, 2003."},{"key":"e_1_3_2_1_20_1","volume-title":"The derivative of a regular type is its type of one-hole contexts. Unpublished manuscript","author":"McBride Conor","year":"2001","unstructured":"Conor McBride . The derivative of a regular type is its type of one-hole contexts. Unpublished manuscript , 2001 . Conor McBride. The derivative of a regular type is its type of one-hole contexts. Unpublished manuscript, 2001."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1985.43"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250752"},{"key":"e_1_3_2_1_24_1","volume-title":"Haskell 98 Language and Libraries: The Revised Report","author":"Jones Simon Peyton","year":"2003","unstructured":"Simon Peyton Jones , editor. Haskell 98 Language and Libraries: The Revised Report . Cambridge University Press , 2003 . Simon Peyton Jones, editor. Haskell 98 Language and Libraries: The Revised Report. Cambridge University Press, 2003."},{"key":"e_1_3_2_1_25_1","volume-title":"Synthesis of Parallel Algorithms","author":"Reif John H.","year":"1993","unstructured":"John H. Reif , editor. Synthesis of Parallel Algorithms . Morgan Kaufmann Publishers , 1993 . John H. Reif, editor. Synthesis of Parallel Algorithms. Morgan Kaufmann Publishers, 1993."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1006\/jpdc.1996.0160"}],"event":{"name":"POPL09: The 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","location":"Savannah GA USA","acronym":"POPL09","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1480881.1480905","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1480881.1480905","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:29:59Z","timestamp":1750238999000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1480881.1480905"}},"subtitle":["downward & upward lead to divide-and-conquer"],"short-title":[],"issued":{"date-parts":[[2009,1,21]]},"references-count":23,"alternative-id":["10.1145\/1480881.1480905","10.1145\/1480881"],"URL":"https:\/\/doi.org\/10.1145\/1480881.1480905","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1594834.1480905","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2009,1,21]]},"assertion":[{"value":"2009-01-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}