{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:45:42Z","timestamp":1772163942894,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,9,27]],"date-time":"2010-09-27T00:00:00Z","timestamp":1285545600000},"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":[[2010,9,27]]},"DOI":"10.1145\/1863543.1863548","type":"proceedings-article","created":{"date-parts":[[2010,9,28]],"date-time":"2010-09-28T13:41:50Z","timestamp":1285681310000},"page":"15-26","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Functional pearl"],"prefix":"10.1145","author":[{"given":"Dimitrios","family":"Vytiniotis","sequence":"first","affiliation":[{"name":"Microsoft Research, Cambridge, United Kingdom"}]},{"given":"Andrew J.","family":"Kennedy","sequence":"additional","affiliation":[{"name":"Microsoft Research, Cambridge, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2010,9,27]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/993954"},{"key":"e_1_3_2_2_2_1","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Advanced Functional Programming 4","author":"Bird R.","year":"2003","unstructured":"}} R. Bird and J. Gibbons . Arithmetic coding with folds and unfolds . In J. Jeuring and S. Peyton Jones, editors, Advanced Functional Programming 4 , volume 2638 of Lecture Notes in Computer Science , pages 1 -- 26 . Springer-Verlag , 2003 . }}R. Bird and J. Gibbons. Arithmetic coding with folds and unfolds. In J. Jeuring and S. Peyton Jones, editors, Advanced Functional Programming 4, volume 2638 of Lecture Notes in Computer Science, pages 1--26. Springer-Verlag, 2003."},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/789087.789753"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291151.1291199"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/11591191_36"},{"key":"e_1_3_2_2_7_1","volume-title":"Standard {ECMA-335}: Common language infrastructure (CLI)","author":"ECMA.","year":"2006","unstructured":"}} ECMA. Standard {ECMA-335}: Common language infrastructure (CLI) , 2006 . }}ECMA. Standard {ECMA-335}: Common language infrastructure (CLI), 2006."},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1975.1055349"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111320.1111039"},{"key":"e_1_3_2_2_11_1","volume-title":"Representations of stream processors using nested fixed points. Logical Methods in Computer Science, 5(3)","author":"Ghani N.","year":"2009","unstructured":"}} N. Ghani , P. Hancock , and D. Pattinson . Representations of stream processors using nested fixed points. Logical Methods in Computer Science, 5(3) , 2009 . }}N. Ghani, P. Hancock, and D. Pattinson. Representations of stream processors using nested fixed points. Logical Methods in Computer Science, 5(3), 2009."},{"key":"e_1_3_2_2_12_1","volume-title":"Datatype-generic programming","author":"Gibbons J.","unstructured":"}} J. Gibbons . Datatype-generic programming . In R. Backhouse , J. Gibbons, R. Hinze, and J. euring, editors, Datatype-Generic Programming, volume 4719 of LNCS, chapter 1, pages 1--71. Springer, Berlin, Heidelberg, 2007. }}J. Gibbons. Datatype-generic programming. In R. Backhouse, J. Gibbons, R. Hinze, and J. euring, editors, Datatype-Generic Programming, volume 4719 of LNCS, chapter 1, pages 1--71. Springer, Berlin, Heidelberg, 2007."},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/844102.844114"},{"key":"e_1_3_2_2_14_1","volume-title":"Spring School on Datatype-Generic Programming","author":"Hinze R.","year":"2006","unstructured":"}} R. Hinze , J. Jeuring , and A. L\u00f6h . Comparing approaches to generic programming in Haskell . In Spring School on Datatype-Generic Programming , 2006 . }}R. Hinze, J. Jeuring, and A. L\u00f6h. Comparing approaches to generic programming in Haskell. In Spring School on Datatype-Generic Programming, 2006."},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/11783596_14"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796804005209"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/277650.277752"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/360204.360216"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/1349756"},{"key":"e_1_3_2_2_20_1","volume-title":"Lectures on the Curry-Howard Isomorphism","author":"S\u00f8rensen M. H.","year":"2006","unstructured":"}} M. H. S\u00f8rensen and P. Urzyczyn . Lectures on the Curry-Howard Isomorphism , Volume 149 (Studies in Logic and the Foundations of Mathematics). Elsevier Science Inc ., New York, NY, USA, 2006 . }}M. H. S\u00f8rensen and P. Urzyczyn. Lectures on the Curry-Howard Isomorphism, Volume 149 (Studies in Logic and the Foundations of Mathematics). Elsevier Science Inc., New York, NY, USA, 2006."},{"key":"e_1_3_2_2_21_1","first-page":"237","volume-title":"Selected papers from the International Workshop on Types for Proofs and Programs (TYPES '06)","author":"Sozeau M.","year":"2006","unstructured":"}} M. Sozeau . Subset coercions in Coq. In Selected papers from the International Workshop on Types for Proofs and Programs (TYPES '06) , pages 237 -- 252 . Springer , 2006 . }}M. Sozeau. Subset coercions in Coq. In Selected papers from the International Workshop on Types for Proofs and Programs (TYPES '06), pages 237--252. Springer, 2006."},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190315.1190324"}],"event":{"name":"ICFP '10: ACM SIGPLAN International Conference on Functional Programming","location":"Baltimore Maryland USA","acronym":"ICFP '10","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 15th ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1863543.1863548","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1863543.1863548","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:39:52Z","timestamp":1750232392000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1863543.1863548"}},"subtitle":["every bit counts"],"short-title":[],"issued":{"date-parts":[[2010,9,27]]},"references-count":21,"alternative-id":["10.1145\/1863543.1863548","10.1145\/1863543"],"URL":"https:\/\/doi.org\/10.1145\/1863543.1863548","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1932681.1863548","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2010,9,27]]},"assertion":[{"value":"2010-09-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}