{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T12:50:16Z","timestamp":1754484616468,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,9,12]],"date-time":"2012-09-12T00:00:00Z","timestamp":1347408000000},"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":[[2012,9,12]]},"DOI":"10.1145\/2364394.2364405","type":"proceedings-article","created":{"date-parts":[[2012,9,12]],"date-time":"2012-09-12T13:01:27Z","timestamp":1347454887000},"page":"69-80","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Sorting with bialgebras and distributive laws"],"prefix":"10.1145","author":[{"given":"Ralf","family":"Hinze","sequence":"first","affiliation":[{"name":"University of Oxford, Oxford, United Kingdom"}]},{"given":"Daniel W.H.","family":"James","sequence":"additional","affiliation":[{"name":"University of Oxford, Oxford, United Kingdom"}]},{"given":"Thomas","family":"Harper","sequence":"additional","affiliation":[{"name":"University of Oxford, Oxford, United Kingdom"}]},{"given":"Nicolas","family":"Wu","sequence":"additional","affiliation":[{"name":"University of Oxford, Oxford, United Kingdom"}]},{"given":"Jos\u00e9 Pedro","family":"Magalh\u00e3es","sequence":"additional","affiliation":[{"name":"University of Oxford, Oxford, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2012,9,12]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1051\/ita:2007028"},{"key":"e_1_3_2_1_2_1","series-title":"LNCS","first-page":"1","volume-title":"Advanced Functional Programming","author":"Augusteijn L.","year":"1999","unstructured":"L. Augusteijn . Sorting morphisms . In S. D. Swierstra, J. N. Oliveira, and P. R. Henriques, editors, Advanced Functional Programming , volume 1608 of LNCS , pages 1 -- 27 . Springer , 1999 . 10.1007\/10704973_1. L. Augusteijn. Sorting morphisms. In S. D. Swierstra, J. N. Oliveira, and P. R. Henriques, editors, Advanced Functional Programming, volume 1608 of LNCS, pages 1--27. Springer, 1999. 10.1007\/10704973_1."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(95)00033-X"},{"key":"e_1_3_2_1_4_1","volume-title":"A logarithmic implementation of flexible arrays. Memorandum MR83\/4","author":"Braun W.","year":"1983","unstructured":"W. Braun and M. Rem . A logarithmic implementation of flexible arrays. Memorandum MR83\/4 , Eindhoven University of Technology , 1983 . W. Braun and M. Rem. A logarithmic implementation of flexible arrays. Memorandum MR83\/4, Eindhoven University of Technology, 1983."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2005.08.005"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800001908"},{"key":"e_1_3_2_1_7_1","first-page":"41 0772","volume-title":"Cornerstones in Computing","author":"Gibbons J.","year":"2003","unstructured":"J. Gibbons . Origami programming. In J. Gibbons and O. de Moor, editors, The Fun of Programming , Cornerstones in Computing , pages 41 -- 60 . Palgrave , 2003 . ISBN 1-4039- 0772 - 0772 . J. Gibbons. Origami programming. In J. Gibbons and O. de Moor, editors, The Fun of Programming, Cornerstones in Computing, pages 41--60. Palgrave, 2003. ISBN 1-4039-0772-2."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2006.01.006"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/289423.289455"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80906-X"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863495.1863507"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034821"},{"key":"e_1_3_2_1_13_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/978-3-642-24276-2_2","volume-title":"Implementation and Application of Functional Languages","author":"Hinze R.","year":"2011","unstructured":"R. Hinze , T. Harper , and D. W. H. James . Theory and Practice of Fusion . In J. Hage and M. Moraz\u00e1n, editors, Implementation and Application of Functional Languages , volume 6647 of LNCS , pages 19 -- 37 . Springer , 2011 . 10.1007\/978-3-642-24276-2_2. R. Hinze, T. Harper, and D. W. H. James. Theory and Practice of Fusion. In J. Hage and M. Moraz\u00e1n, editors, Implementation and Application of Functional Languages, volume 6647 of LNCS, pages 19--37. Springer, 2011. 10.1007\/978-3-642-24276-2_2."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796899003500"},{"key":"e_1_3_2_1_15_1","volume-title":"The Art of Computer Programming, Volume 3: Sorting and Searching","author":"Knuth D. E.","year":"1998","unstructured":"D. E. Knuth . The Art of Computer Programming, Volume 3: Sorting and Searching . Addison-Wesley , 2 nd edition, 1998 . D. E. Knuth. The Art of Computer Programming, Volume 3: Sorting and Searching. Addison-Wesley, 2nd edition, 1998.","edition":"2"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80350-0"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211391"},{"key":"e_1_3_2_1_18_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1007\/3540543961_7","volume-title":"Functional Programming Languages and Computer Architecture","author":"Meijer E.","year":"1991","unstructured":"E. Meijer , M. Fokkinga , and R. Paterson . Functional programming with bananas, lenses, envelopes and barbed wire . In J. Hughes, editor, Functional Programming Languages and Computer Architecture , volume 523 of LNCS , pages 124 -- 144 . Springer , 1991 . 10.1007\/3540543961_7. E. Meijer, M. Fokkinga, and R. Paterson. Functional programming with bananas, lenses, envelopes and barbed wire. In J. Hughes, editor, Functional Programming Languages and Computer Architecture, volume 523 of LNCS, pages 124--144. Springer, 1991. 10.1007\/3540543961_7."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796897002876"},{"volume-title":"VDM'02 workshop.","author":"Oliveira J. N.","key":"e_1_3_2_1_20_1","unstructured":"J. N. Oliveira . On the design of a periodic table of VDM specifications, 2002 . Presented at the VDM'02 workshop. J. N. Oliveira. On the design of a periodic table of VDM specifications, 2002. Presented at the VDM'02 workshop."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/788019.788864"},{"issue":"3","key":"e_1_3_2_1_22_1","first-page":"147","article-title":"Functional programming with apomorphisms (corecursion). Proceedings of the Estonian Academy of Sciences: Physics","volume":"47","author":"Vene V.","year":"1998","unstructured":"V. Vene and T. Uustalu . Functional programming with apomorphisms (corecursion). Proceedings of the Estonian Academy of Sciences: Physics , Mathematics , 47 ( 3 ): 147 -- 161 , 1998 . V. Vene and T. Uustalu. Functional programming with apomorphisms (corecursion). Proceedings of the Estonian Academy of Sciences: Physics, Mathematics, 47 (3): 147--161, 1998.","journal-title":"Mathematics"}],"event":{"name":"ICFP'12: ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Copenhagen Denmark","acronym":"ICFP'12"},"container-title":["Proceedings of the 8th ACM SIGPLAN workshop on Generic programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2364394.2364405","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2364394.2364405","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T21:36:59Z","timestamp":1750282619000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2364394.2364405"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9,12]]},"references-count":22,"alternative-id":["10.1145\/2364394.2364405","10.1145\/2364394"],"URL":"https:\/\/doi.org\/10.1145\/2364394.2364405","relation":{},"subject":[],"published":{"date-parts":[[2012,9,12]]},"assertion":[{"value":"2012-09-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}