{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,29]],"date-time":"2024-08-29T07:09:21Z","timestamp":1724915361051},"publisher-location":"New York, NY, USA","reference-count":11,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[1996,6,15]]},"DOI":"10.1145\/232627.232637","type":"proceedings-article","created":{"date-parts":[[2004,2,3]],"date-time":"2004-02-03T17:08:40Z","timestamp":1075828120000},"update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":39,"title":["Deriving structural hylomorphisms from recursive definitions"],"prefix":"10.1145","author":[{"given":"Zhenjiang","family":"Hu","sequence":"first","affiliation":[{"name":"Department of Information Engineering, University of Tokyo"}]},{"given":"Hideya","family":"Iwasaki","sequence":"additional","affiliation":[{"name":"Educational Computer Centre, University of Tokyo"}]},{"given":"Masato","family":"Takeichi","sequence":"additional","affiliation":[{"name":"Department of Information Engineering, University of Tokyo"}]}],"member":"320","published-online":{"date-parts":[[1996,6,15]]},"reference":[{"key":"e_1_3_2_1_1_2","first-page":"17","volume-title":"Relational program derivation and context-free language recognition","author":"Bird R.S.","year":"1994","unstructured":"R.S. Bird and O. de Moor . Relational program derivation and context-free language recognition . In A.W. Roscoe, editor, A Classical Mind, pages 17 - 35 . Prentice Hall , 1994 . R.S. Bird and O. de Moor. Relational program derivation and context-free language recognition. In A.W. Roscoe, editor, A Classical Mind, pages 17-35. Prentice Hall, 1994."},{"key":"e_1_3_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.1145\/141471.141494"},{"key":"e_1_3_2_1_4_2","volume-title":"Proc. PEPM'9d","author":"Fegaxas L.","year":"1994","unstructured":"L. Fegaxas , T. Sheard , and T. Zhou . Improving programs which recurse over multiple inductive structures . In Proc. PEPM'9d , June 1994 . L. Fegaxas, T. Sheard, and T. Zhou. Improving programs which recurse over multiple inductive structures. In Proc. PEPM'9d, June 1994."},{"key":"e_1_3_2_1_5_2","doi-asserted-by":"publisher","DOI":"10.1145\/165180.165214"},{"key":"e_1_3_2_1_8_2","doi-asserted-by":"publisher","DOI":"10.1145\/224164.224223"},{"key":"e_1_3_2_1_9_2","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(90)90023-7"},{"key":"e_1_3_2_1_10_2","doi-asserted-by":"publisher","DOI":"10.5555\/127960.128035"},{"key":"e_1_3_2_1_11_2","doi-asserted-by":"publisher","DOI":"10.1145\/165180.165216"},{"key":"e_1_3_2_1_12_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00290706"},{"key":"e_1_3_2_1_13_2","doi-asserted-by":"publisher","DOI":"10.1145\/224164.224221"},{"key":"e_1_3_2_1_14_2","first-page":"344","volume-title":"Proc. E$OP (LNCS 300)","author":"Wadler P.","year":"1988","unstructured":"P. Wadler . Deforestation : Transforming programs to eliminate trees . In Proc. E$OP (LNCS 300) , pages 344 - 358 , 1988 . P. Wadler. Deforestation: Transforming programs to eliminate trees. In Proc. E$OP (LNCS 300), pages 344-358, 1988."}],"event":{"name":"ICFP96: International Conference on Functional Programming","location":"Philadelphia Pennsylvania USA","acronym":"ICFP96","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the first ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/232627.232637","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T21:41:36Z","timestamp":1693863696000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/232627.232637"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,6,15]]},"references-count":11,"alternative-id":["10.1145\/232627.232637","10.1145\/232627"],"URL":"https:\/\/doi.org\/10.1145\/232627.232637","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/232629.232637","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[1996,6,15]]},"assertion":[{"value":"1996-06-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}