{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:48:18Z","timestamp":1772164098698,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,9,4]],"date-time":"2016-09-04T00:00:00Z","timestamp":1472947200000},"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":[[2016,9,4]]},"DOI":"10.1145\/2951913.2951947","type":"proceedings-article","created":{"date-parts":[[2016,8,29]],"date-time":"2016-08-29T08:17:16Z","timestamp":1472458636000},"page":"490-501","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["String diagrams for free monads (functional pearl)"],"prefix":"10.1145","author":[{"given":"Maciej","family":"Pir\u00f3g","sequence":"first","affiliation":[{"name":"KU Leuven, Belgium"}]},{"given":"Nicolas","family":"Wu","sequence":"additional","affiliation":[{"name":"University of Bristol, UK"}]}],"member":"320","published-online":{"date-parts":[[2016,9,4]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"2015","article-title":"Interleaving data and effects","volume":"25","author":"Atkey R.","unstructured":"R. Atkey and P. Johann . Interleaving data and effects . Journal of Functional Programming , 25 :e20 (44 pages), 2015 . R. Atkey and P. Johann. Interleaving data and effects. Journal of Functional Programming, 25:e20 (44 pages), 2015.","journal-title":"Journal of Functional Programming"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01111838"},{"key":"e_1_3_2_1_3_1","volume-title":"Gray categories with duals and their diagrams","author":"Barrett J. W.","year":"2016","unstructured":"J. W. Barrett , C. Meusburger , and G. Schaumann . Gray categories with duals and their diagrams , 2016 . To appear in Journal of Differential Geometry. F. Bartels. On Generalised Coinduction and Probabilistic Specification Formats: Distributive Laws in Coalgebraic Modelling. PhD thesis, Vrije Universiteit Amsterdam , 2004. J. W. Barrett, C. Meusburger, and G. Schaumann. Gray categories with duals and their diagrams, 2016. To appear in Journal of Differential Geometry. F. Bartels. On Generalised Coinduction and Probabilistic Specification Formats: Distributive Laws in Coalgebraic Modelling. PhD thesis, Vrije Universiteit Amsterdam, 2004."},{"key":"e_1_3_2_1_4_1","series-title":"Lecture Notes in Mathematics","first-page":"140","volume-title":"Seminar on Triples and Categorical Homology Theory","author":"Beck J.","unstructured":"J. Beck . Distributive laws . In B. Eckmann, editor, Seminar on Triples and Categorical Homology Theory , volume 80 of Lecture Notes in Mathematics , pages 119\u2013 140 . Springer Berlin Heidelberg, 1969. J. Beck. Distributive laws. In B. Eckmann, editor, Seminar on Triples and Categorical Homology Theory, volume 80 of Lecture Notes in Mathematics, pages 119\u2013140. Springer Berlin Heidelberg, 1969."},{"key":"e_1_3_2_1_5_1","unstructured":"J. M. Beck. Triples Algebras and Cohomology. PhD thesis Columbia University 1967.  J. M. Beck. Triples Algebras and Cohomology. PhD thesis Columbia University 1967."},{"key":"e_1_3_2_1_6_1","volume-title":"Algebra of Programming","author":"Bird R.","year":"1997","unstructured":"R. Bird and O. de Moor . Algebra of Programming . Prentice-Hall, Inc. , Upper Saddle River, NJ, USA, 1997 . R. Bird and O. de Moor. Algebra of Programming. Prentice-Hall, Inc., Upper Saddle River, NJ, USA, 1997."},{"key":"e_1_3_2_1_7_1","first-page":"457","volume-title":"Program Specification and Transformation","author":"Bird R. S.","unstructured":"R. S. Bird and L. Meertens . Two exercises found in a book on algorithmics . In L. Meertens, editor, Program Specification and Transformation , pages 451\u2013 457 . North-Holland, 1987. R. S. Bird and L. Meertens. Two exercises found in a book on algorithmics. In L. Meertens, editor, Program Specification and Transformation, pages 451\u2013457. North-Holland, 1987."},{"key":"e_1_3_2_1_8_1","volume-title":"A string diagram calculus for predicate logic and C. S. Peirces system beta","author":"Brady G.","year":"1998","unstructured":"G. Brady and T. Trimble . A string diagram calculus for predicate logic and C. S. Peirces system beta , 1998 . G. Brady and T. Trimble. A string diagram calculus for predicate logic and C. S. Peirces system beta, 1998."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.03.013"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0305004100074338"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0004972700006353"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.aim.2010.02.012"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/581478.581492"},{"key":"e_1_3_2_1_15_1","unstructured":"pages 133\u2013144. ACM 2002. pages 133\u2013144. ACM 2002."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"ISBN 1-58113-487-8. doi: 10.1145\/581478.581492.    10.1145\/581478.581492\nISBN 1-58113-487-8. doi: 10.1145\/581478.581492.","DOI":"10.1145\/581478.581492"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/127960.128035"},{"key":"e_1_3_2_1_18_1","volume-title":"An Abstract View of Programming Languages. Technical report","author":"Moggi E.","year":"1989","unstructured":"E. Moggi . An Abstract View of Programming Languages. Technical report , Edinburgh University , 1989 . E. Moggi. An Abstract View of Programming Languages. Technical report, Edinburgh University, 1989."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2643135.2643145"},{"key":"e_1_3_2_1_20_1","first-page":"355","volume-title":"New Structures for Physics","author":"Selinger P.","unstructured":"P. Selinger . A survey of graphical languages for monoidal categories . In B. Coecke, editor, New Structures for Physics , pages 289\u2013 355 . Springer Berlin Heidelberg, Berlin, Heidelberg, 2011. P. Selinger. A survey of graphical languages for monoidal categories. In B. Coecke, editor, New Structures for Physics, pages 289\u2013355. Springer Berlin Heidelberg, Berlin, Heidelberg, 2011."}],"event":{"name":"ICFP'16: ACM SIGPLAN International Conference on Functional Programming","location":"Nara Japan","acronym":"ICFP'16","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2951913.2951947","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2951913.2951947","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:56:22Z","timestamp":1750208182000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2951913.2951947"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9,4]]},"references-count":19,"alternative-id":["10.1145\/2951913.2951947","10.1145\/2951913"],"URL":"https:\/\/doi.org\/10.1145\/2951913.2951947","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3022670.2951947","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2016,9,4]]},"assertion":[{"value":"2016-09-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}