{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:54Z","timestamp":1772164014346,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,9,30]],"date-time":"2010-09-30T00:00:00Z","timestamp":1285804800000},"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,30]]},"DOI":"10.1145\/1863523.1863542","type":"proceedings-article","created":{"date-parts":[[2010,9,28]],"date-time":"2010-09-28T13:41:50Z","timestamp":1285681310000},"page":"147-158","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Species and functors and types, oh my!"],"prefix":"10.1145","author":[{"given":"Brent A.","family":"Yorgey","sequence":"first","affiliation":[{"name":"University of Pennsylvania, Philadelphia, PA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,9,30]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/1754809.1754813"},{"key":"e_1_3_2_2_2_1","series-title":"LNCS","volume-title":"Typed Lambda Calculi and Applications, TLCA","author":"Abbott Michael","year":"2003","unstructured":"}} Michael Abbott , Thorsten Altenkirch , Neil Ghani , and Conor McBride . Derivatives of Containers . In Typed Lambda Calculi and Applications, TLCA , volume 2701 of LNCS . Springer-Verlag , 2003 . }}Michael Abbott, Thorsten Altenkirch, Neil Ghani, and Conor McBride. Derivatives of Containers. In Typed Lambda Calculi and Applications, TLCA, volume 2701 of LNCS. Springer-Verlag, 2003."},{"key":"e_1_3_2_2_3_1","volume-title":"Conor McBride. Constructing Polymorphic Programs with Quotient Types. In 7th International Conference on Mathematics of Program Construction (MPC 2004","volume":"3125","author":"Abbott Michael","year":"2004","unstructured":"}} Michael Abbott , Thorsten Altenkirch , Neil Ghani , and Conor McBride. Constructing Polymorphic Programs with Quotient Types. In 7th International Conference on Mathematics of Program Construction (MPC 2004 ), volume 3125 of LNCS. Springer-Verlag , 2004 . }}Michael Abbott, Thorsten Altenkirch, Neil Ghani, and Conor McBride. Constructing Polymorphic Programs with Quotient Types. In 7th International Conference on Mathematics of Program Construction (MPC 2004), volume 3125 of LNCS. Springer-Verlag, 2004."},{"key":"e_1_3_2_2_4_1","volume-title":"Combinatorial species and tree-like structures. Number 67 in Encyclopedia of Mathematics and its Applications","author":"Bergeron F.","year":"1998","unstructured":"}} F. Bergeron , G. Labelle , and P. Leroux . Combinatorial species and tree-like structures. Number 67 in Encyclopedia of Mathematics and its Applications . Cambridge University Press , Cambridge , 1998 . }}F. Bergeron, G. Labelle, and P. Leroux. Combinatorial species and tree-like structures. Number 67 in Encyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge, 1998."},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11957-6_8"},{"key":"e_1_3_2_2_6_1","volume-title":"MPC: 4th International Conference on Mathematics of Program Construction. LNCS, Springer-Verlag","author":"Meertens Bird","year":"1998","unstructured":"}} Bird and Meertens . Nested datatypes . In MPC: 4th International Conference on Mathematics of Program Construction. LNCS, Springer-Verlag , 1998 . }}Bird and Meertens. Nested datatypes. In MPC: 4th International Conference on Mathematics of Program Construction. LNCS, Springer-Verlag, 1998."},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596627.1596637"},{"key":"e_1_3_2_2_8_1","volume-title":"Species: making analytic functors practical for functional programming.","author":"Carette Jacques","year":"2008","unstructured":"}} Jacques Carette and Gordon Uszkay . Species: making analytic functors practical for functional programming. Available at http:\/\/www.cas.mcmaster.ca\/~carette\/species\/, 2008 . }}Jacques Carette and Gordon Uszkay. Species: making analytic functors practical for functional programming. Available at http:\/\/www.cas.mcmaster.ca\/~carette\/species\/, 2008."},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411286.1411303"},{"key":"e_1_3_2_2_11_1","volume-title":"AGATA: Random generation of test data. Master's thesis","author":"Dureg\u00e5rd Jonas Almstr\u00f6m","year":"2009","unstructured":"}} Jonas Almstr\u00f6m Dureg\u00e5rd . AGATA: Random generation of test data. Master's thesis , Chalmers University of Technology , December 2009 . }}Jonas Almstr\u00f6m Dureg\u00e5rd. AGATA: Random generation of test data. Master's thesis, Chalmers University of Technology, December 2009."},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1995.1070"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796897002864"},{"key":"e_1_3_2_2_15_1","first-page":"302","volume-title":"ESOP '94: Proceedings of the 5th European Symposium on Programming","author":"Barry Jay C.","year":"1994","unstructured":"}} C. Barry Jay and J. Robin B. Cockett . Shapely types and shape polymorphism . In ESOP '94: Proceedings of the 5th European Symposium on Programming , pages 302 -- 316 , London, UK , 1994 . Springer-Verlag. }}C. Barry Jay and J. Robin B. Cockett. Shapely types and shape polymorphism. In ESOP '94: Proceedings of the 5th European Symposium on Programming, pages 302--316, London, UK, 1994. Springer-Verlag."},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/0001-8708(81)90052-9"},{"key":"e_1_3_2_2_17_1","volume-title":"The Derivative of a Regular Type is its Type of One-Hole Contexts.","author":"McBride Conor","year":"2001","unstructured":"}} Conor McBride . The Derivative of a Regular Type is its Type of One-Hole Contexts. Available at http:\/\/www.cs.nott.ac.uk\/~ctm\/diff.ps.gz, 2001 . }}Conor McBride. The Derivative of a Regular Type is its Type of One-Hole Contexts. Available at http:\/\/www.cs.nott.ac.uk\/~ctm\/diff.ps.gz, 2001."},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328474"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796899003299"},{"key":"e_1_3_2_2_20_1","volume-title":"Exploring the regular tree types","author":"Morris Peter","year":"2004","unstructured":"}} Peter Morris , Thorsten Altenkirch , and Conor Mcbride . Exploring the regular tree types . 2004 . }}Peter Morris, Thorsten Altenkirch, and Conor Mcbride. Exploring the regular tree types. 2004."},{"key":"e_1_3_2_2_21_1","volume-title":"November","author":"Piponi Dan","year":"2007","unstructured":"}} Dan Piponi . A small combinatorial library , November 2007 . http:\/\/blog.sigfpe.com\/2007\/11\/small-combinatorial-library.html. }}Dan Piponi. A small combinatorial library, November 2007. http:\/\/blog.sigfpe.com\/2007\/11\/small-combinatorial-library.html."},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411286.1411292"},{"key":"e_1_3_2_2_23_1","unstructured":"}}Herbert S. Wilf. Generatingfunctionology. Academic Press 1990.   }}Herbert S. Wilf. Generatingfunctionology. Academic Press 1990."}],"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 third ACM Haskell symposium on Haskell"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1863523.1863542","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1863523.1863542","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\/1863523.1863542"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9,30]]},"references-count":22,"alternative-id":["10.1145\/1863523.1863542","10.1145\/1863523"],"URL":"https:\/\/doi.org\/10.1145\/1863523.1863542","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2088456.1863542","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2010,9,30]]},"assertion":[{"value":"2010-09-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}