{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:32:23Z","timestamp":1750307543935,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,8,30]],"date-time":"2009-08-30T00:00:00Z","timestamp":1251590400000},"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":[[2009,8,30]]},"DOI":"10.1145\/1596614.1596625","type":"proceedings-article","created":{"date-parts":[[2009,9,1]],"date-time":"2009-09-01T17:53:09Z","timestamp":1251827589000},"page":"73-84","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Meeting a fanclub"],"prefix":"10.1145","author":[{"given":"Roland","family":"Backhouse","sequence":"first","affiliation":[{"name":"University of Nottingham, Nottingham, United Kingdom"}]},{"given":"Richard","family":"Bird","sequence":"additional","affiliation":[{"name":"University of Oxford, Oxford, United Kingdom"}]},{"given":"Paul","family":"Hoogendijk","sequence":"additional","affiliation":[{"name":"Philips Corporate Techmologies, Eindhoven, Netherlands"}]}],"member":"320","published-online":{"date-parts":[[2009,8,30]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"303","volume-title":"Proceedings of the 2nd Conference on Algebraic Methodology and Software Technology, AMAST'91","author":"Backhouse R.C.","year":"1992","unstructured":"R.C. Backhouse , P. de Bruin , P. Hoogendijk , G. Malcolm , T.S. Voermans , and J. van der Woude. Polynomial relators. In M. Nivat, C.S. Rattray, T. Rus, and G. Scollo, editors , Proceedings of the 2nd Conference on Algebraic Methodology and Software Technology, AMAST'91 , pages 303 -- 326 . Springer-Verlag, Workshops in Computing , 1992 . R.C. Backhouse, P. de Bruin, P. Hoogendijk, G. Malcolm, T.S. Voermans, and J. van der Woude. Polynomial relators. In M. Nivat, C.S. Rattray, T. Rus, and G. Scollo, editors, Proceedings of the 2nd Conference on Algebraic Methodology and Software Technology, AMAST'91, pages 303--326. Springer-Verlag, Workshops in Computing, 1992."},{"key":"e_1_3_2_1_2_1","volume-title":"September","author":"Backhouse R.C.","year":"1992","unstructured":"R.C. Backhouse , H. Doornbos , and P. Hoogendijk . A class of commuting relators. Available via World-Wide Web at http:\/\/www.cs.nott.ac.uk\/ rcb\/MPC\/papers , September 1992 . R.C. Backhouse, H. Doornbos, and P. Hoogendijk. A class of commuting relators. Available via World-Wide Web at http:\/\/www.cs.nott.ac.uk\/ rcb\/MPC\/papers, September 1992."},{"key":"e_1_3_2_1_3_1","volume-title":"December","author":"Backhouse R.C.","year":"1992","unstructured":"R.C. Backhouse , T.S. Voermans , and J. van der Woude . A relational theory of datatypes. Available via World-Wide Web at http:\/\/www.cs.nott.ac.uk\/ rcb\/MPC\/papers , December 1992 . R.C. Backhouse, T.S. Voermans, and J. van der Woude. A relational theory of datatypes. Available via World-Wide Web at http:\/\/www.cs.nott.ac.uk\/ rcb\/MPC\/papers, December 1992."},{"key":"e_1_3_2_1_4_1","unstructured":"Roland Backhouse Richard Bird and Paul Hoogendijk. On shape-preservation properties of zips. In preparation.  Roland Backhouse Richard Bird and Paul Hoogendijk. On shape-preservation properties of zips. In preparation."},{"key":"e_1_3_2_1_5_1","series-title":"LNCS Tutorial Series","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1007\/b12027","volume-title":"Generic Programming","author":"Backhouse Roland","year":"2003","unstructured":"Roland Backhouse and Paul Hoogendijk . Generic properties of datatypes . In Roland Backhouse and Jeremy Gibbons, editors, Generic Programming , volume 2793 of LNCS Tutorial Series , pages 98 -- 135 . Springer , 2003 . Roland Backhouse and Paul Hoogendijk. Generic properties of datatypes. In Roland Backhouse and Jeremy Gibbons, editors, Generic Programming, volume 2793 of LNCS Tutorial Series, pages 98--135. Springer, 2003."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70594-9_7"},{"key":"e_1_3_2_1_7_1","volume-title":"Bird and Oege de Moor. Algebra of Programming","author":"Richard","year":"1997","unstructured":"Richard S. Bird and Oege de Moor. Algebra of Programming . Prentice-Hall International , 1997 . Richard S. Bird and Oege de Moor. Algebra of Programming. Prentice-Hall International, 1997."},{"key":"e_1_3_2_1_8_1","volume-title":"Allegories. North-Holland","author":"Freyd P.J.","year":"1990","unstructured":"P.J. Freyd and A. Scedrov . Categories , Allegories. North-Holland , 1990 . P.J. Freyd and A. Scedrov. Categories, Allegories. North-Holland, 1990."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"Paul\n      Hoogendijk\n     and \n      Roland\n      Backhouse\n    .\n  When do datatypes commute? In Eugenio Moggi and Giuseppe Rosolini editors Category Theory and Computer Science 7th International Conference} volume \n  1290\n   of \n  LNCS pages \n  242\n  --\n  260\n  . \n  Springer-Verlag September \n  1997\n  .   Paul Hoogendijk and Roland Backhouse. When do datatypes commute? In Eugenio Moggi and Giuseppe Rosolini editors Category Theory and Computer Science 7th International Conference} volume 1290 of LNCS pages 242--260. Springer-Verlag September 1997.","DOI":"10.1007\/BFb0026992"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796899003640"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(95)00015-1"},{"key":"e_1_3_2_1_13_1","series-title":"LNCS","first-page":"23","volume-title":"Foundations of Software Science and Computation Structures","author":"Ghani Neil","year":"2003","unstructured":"Neil Ghani , Michael Abbott , Thorsten Altenkirch . Categories of containers . In Foundations of Software Science and Computation Structures , volume 2620 of LNCS , pages 23 -- 38 . Springer , 2003 . Neil Ghani, Michael Abbott, Thorsten Altenkirch. Categories of containers. In Foundations of Software Science and Computation Structures, volume 2620 of LNCS, pages 23--38. Springer, 2003."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.24033\/bsmf.1401"}],"event":{"name":"ICFP '09: ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Edinburgh Scotland","acronym":"ICFP '09"},"container-title":["Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1596614.1596625","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1596614.1596625","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:23:28Z","timestamp":1750249408000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1596614.1596625"}},"subtitle":["a lattice of generic shape selectors"],"short-title":[],"issued":{"date-parts":[[2009,8,30]]},"references-count":13,"alternative-id":["10.1145\/1596614.1596625","10.1145\/1596614"],"URL":"https:\/\/doi.org\/10.1145\/1596614.1596625","relation":{},"subject":[],"published":{"date-parts":[[2009,8,30]]},"assertion":[{"value":"2009-08-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}