乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T16:12:11Z","timestamp":1725725531099},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,8,31]],"date-time":"2015-08-31T00:00:00Z","timestamp":1440979200000},"content-version":"vor","delay-in-days":2,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,8,29]]},"DOI":"10.1145\/2784731.2784763","type":"proceedings-article","created":{"date-parts":[[2015,8,26]],"date-time":"2015-08-26T16:48:13Z","timestamp":1440607693000},"page":"269-279","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Automatic refunctionalization to a language with copattern matching: with applications to the expression problem"],"prefix":"10.1145","author":[{"given":"Tillmann","family":"Rendel","sequence":"first","affiliation":[{"name":"University of T\u00fcbingen, Germany"}]},{"given":"Julia","family":"Trieflinger","sequence":"additional","affiliation":[{"name":"University of T\u00fcbingen, Germany"}]},{"given":"Klaus","family":"Ostermann","sequence":"additional","affiliation":[{"name":"University of T\u00fcbingen, Germany"}]}],"member":"320","published-online":{"date-parts":[[2015,8,29]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429075"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/888251.888254"},{"key":"e_1_3_2_1_3_1","first-page":"211","volume-title":"Proceedings of the Symposium on Logic in Computer Science","author":"Berger U. B.","unstructured":"U. B. Berger and H. Schwichtenberg . An inverse of the evaluation functional for typed \u03bb\u2013calculus . In Proceedings of the Symposium on Logic in Computer Science , pages 203\u2013 211 . IEEE Computer Society, 1991. U. B. Berger and H. Schwichtenberg. An inverse of the evaluation functional for typed \u03bb\u2013calculus. In Proceedings of the Symposium on Logic in Computer Science, pages 203\u2013211. IEEE Computer Society, 1991."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796809007205"},{"key":"e_1_3_2_1_5_1","first-page":"178","volume-title":"Proceedings of the REX Workshop \/ School on the Foundations of Object-Oriented Languages","author":"Cook W. R.","unstructured":"W. R. Cook . Object-oriented programming versus abstract data types . In Proceedings of the REX Workshop \/ School on the Foundations of Object-Oriented Languages , pages 151\u2013 178 . Springer-Verlag, 1990. W. R. Cook. Object-oriented programming versus abstract data types. In Proceedings of the REX Workshop \/ School on the Foundations of Object-Oriented Languages, pages 151\u2013178. Springer-Verlag, 1990."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640133"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.10.007"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/773184.773202"},{"key":"e_1_3_2_1_9_1","first-page":"142","volume-title":"Proceedings of the Conference on Software Reuse","author":"Hudak P.","unstructured":"P. Hudak . Modular domain specific languages and tools . In Proceedings of the Conference on Software Reuse , pages 134\u2013 142 . IEEE Computer Society, June 1998. P. Hudak. Modular domain specific languages and tools. In Proceedings of the Conference on Software Reuse, pages 134\u2013142. IEEE Computer Society, June 1998."},{"key":"e_1_3_2_1_10_1","first-page":"218","volume-title":"Proceedings of the European Conference on Object-Oriented Programming","author":"Janzen D.","unstructured":"D. Janzen and K. de Volder . Programming with crosscutting effective views . In Proceedings of the European Conference on Object-Oriented Programming , pages 195\u2013 218 . Springer LNCS 3086, 2004. D. Janzen and K. de Volder. Programming with crosscutting effective views. In Proceedings of the European Conference on Object-Oriented Programming, pages 195\u2013218. Springer LNCS 3086, 2004."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70594-9_12"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10990-006-8611-7"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/800194.805852"},{"key":"e_1_3_2_1_14_1","first-page":"168","volume-title":"New Directions in Algorithmic Languages","author":"Reynolds J. C.","year":"1975","unstructured":"J. C. Reynolds . User-defined types and procedural data structures as complementary approaches to data abstraction . In New Directions in Algorithmic Languages 1975 , pages 157\u2013 168 . IFIP Working Group 2.1 on Algol, INRIA, 1975. J. C. Reynolds. User-defined types and procedural data structures as complementary approaches to data abstraction. In New Directions in Algorithmic Languages 1975, pages 157\u2013168. IFIP Working Group 2.1 on Algol, INRIA, 1975."},{"key":"e_1_3_2_1_15_1","first-page":"45","volume-title":"Proceedings of the Joint Conference on Rewriting Techniques and Applications and Typed Lambda Calculi and Applications","author":"Setzer A.","unstructured":"A. Setzer , A. Abel , B. Pientka , and D. Thibodeau . Unnesting of copatterns . In Proceedings of the Joint Conference on Rewriting Techniques and Applications and Typed Lambda Calculi and Applications , pages 31\u2013 45 . Springer LNCS 8560, 2014. A. Setzer, A. Abel, B. Pientka, and D. Thibodeau. Unnesting of copatterns. In Proceedings of the Joint Conference on Rewriting Techniques and Applications and Typed Lambda Calculi and Applications, pages 31\u201345. Springer LNCS 8560, 2014."},{"key":"e_1_3_2_1_16_1","volume-title":"Nov.","author":"Wadler P.","year":"1998","unstructured":"P. Wadler . The expression problem. Note to Java Genericity mailing list , Nov. 1998 . P. Wadler. The expression problem. Note to Java Genericity mailing list, Nov. 1998."}],"event":{"name":"ICFP'15: 20th ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Vancouver BC Canada","acronym":"ICFP'15"},"container-title":["Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2784731.2784763","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T14:55:03Z","timestamp":1693839303000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2784731.2784763"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8,29]]},"references-count":16,"alternative-id":["10.1145\/2784731.2784763","10.1145\/2784731"],"URL":"https:\/\/doi.org\/10.1145\/2784731.2784763","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2858949.2784763","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2015,8,29]]},"assertion":[{"value":"2015-08-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}