{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:30Z","timestamp":1772164050635,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,9,8]],"date-time":"2016-09-08T00:00:00Z","timestamp":1473292800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/K020919\/1"],"award-info":[{"award-number":["EP\/K020919\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,9,8]]},"DOI":"10.1145\/2976002.2976005","type":"proceedings-article","created":{"date-parts":[[2016,8,26]],"date-time":"2016-08-26T08:40:09Z","timestamp":1472200809000},"page":"45-50","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Free delivery (functional pearl)"],"prefix":"10.1145","author":[{"given":"Jeremy","family":"Gibbons","sequence":"first","affiliation":[{"name":"University of Oxford, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,9,8]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/191080.191133"},{"key":"e_1_3_2_1_2_1","unstructured":"191133.  191133."},{"key":"e_1_3_2_1_3_1","first-page":"2","volume":"153","author":"Capriotti P.","year":"2014","unstructured":"P. Capriotti and A. Kaposi . Free applicative functors. In P. Levy and N. Krishnaswami, editors, Mathematically Structured Functional Programming , volume 153 of EPTCS, pages 2 \u2013 30 , 2014 . P. Capriotti and A. Kaposi. Free applicative functors. In P. Levy and N. Krishnaswami, editors, Mathematically Structured Functional Programming, volume 153 of EPTCS, pages 2\u201330, 2014.","journal-title":"Free applicative functors. In P. Levy and N. Krishnaswami, editors, Mathematically Structured Functional Programming"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1730874.1730877"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351257"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"doi: 10.1145\/351240.351257.  doi: 10.1145\/351240.351257.","DOI":"10.1145\/351240.351257"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/579257"},{"key":"e_1_3_2_1_8_1","first-page":"262","volume-title":"Cornerstones in Computing","author":"Hinze R.","unstructured":"R. Hinze . Fun with phantom types. In J. Gibbons and O. de Moor, editors, The Fun of Programming , Cornerstones in Computing , pages 245\u2013 262 . Palgrave, 2003. ISBN 1-4039-0772-2. A. Ibrahim, Y. Jiao, E. Tilevich, and W. R. Cook. Remote batch invocation for compositional object services. In S. Drossopoulou, editor, European Conference on Object-Oriented Programming, volume 5653 of Lecture Notes in Computer Science, pages 595\u2013617. Springer, 2009. doi: 10.1007\/978-3-642-03013-0 27. N. M. Josuttis. SOA in Practice: The Art of Distributed System Design. O\u2019Reilly, 2007. R. Hinze. Fun with phantom types. In J. Gibbons and O. de Moor, editors, The Fun of Programming, Cornerstones in Computing, pages 245\u2013262. Palgrave, 2003. ISBN 1-4039-0772-2. A. Ibrahim, Y. Jiao, E. Tilevich, and W. R. Cook. Remote batch invocation for compositional object services. In S. Drossopoulou, editor, European Conference on Object-Oriented Programming, volume 5653 of Lecture Notes in Computer Science, pages 595\u2013617. Springer, 2009. doi: 10.1007\/978-3-642-03013-0 27. N. M. Josuttis. SOA in Practice: The Art of Distributed System Design. O\u2019Reilly, 2007."},{"key":"e_1_3_2_1_9_1","first-page":"187","volume-title":"Hawaii International Conference on System Sciences","author":"Liskov B.","unstructured":"B. Liskov , T. Bloom , D. Gifford , R. Scheifler , and W. Weihl . Communication in the Mercury system . In Hawaii International Conference on System Sciences , pages 178\u2013 187 . IEEE, 1988. B. Liskov, T. Bloom, D. Gifford, R. Scheifler, and W. Weihl. Communication in the Mercury system. In Hawaii International Conference on System Sciences, pages 178\u2013187. IEEE, 1988."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"doi: 10.1109\/HICSS.1988.11804.  doi: 10.1109\/HICSS.1988.11804.","DOI":"10.1109\/HICSS.1988.11804"},{"key":"e_1_3_2_1_11_1","volume-title":"Jan.","author":"Manzyuk O.","year":"2013","unstructured":"O. Manzyuk . Co-Yoneda Lemma . https:\/\/oleksandrmanzyuk. wordpress.com\/2013\/01\/18\/co-yoneda-lemma\/ , Jan. 2013 . O. Manzyuk. Co-Yoneda Lemma. https:\/\/oleksandrmanzyuk. wordpress.com\/2013\/01\/18\/co-yoneda-lemma\/, Jan. 2013."},{"key":"e_1_3_2_1_12_1","volume-title":"Mar.","author":"Marlow S.","year":"2015","unstructured":"S. Marlow . Applicative do-notation. https:\/\/ghc.haskell.org\/ trac\/ghc\/wiki\/ApplicativeDo , Mar. 2015 . S. Marlow. Applicative do-notation. https:\/\/ghc.haskell.org\/ trac\/ghc\/wiki\/ApplicativeDo, Mar. 2015."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2628136.2628144"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796807006326"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1023064908962"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103786.2103795"}],"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 9th International Symposium on Haskell"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2976002.2976005","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2976002.2976005","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:50:19Z","timestamp":1750204219000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2976002.2976005"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9,8]]},"references-count":16,"alternative-id":["10.1145\/2976002.2976005","10.1145\/2976002"],"URL":"https:\/\/doi.org\/10.1145\/2976002.2976005","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3241625.2976005","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2016,9,8]]},"assertion":[{"value":"2016-09-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}