乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T18:56:30Z","timestamp":1730314590109,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,9,7]]},"DOI":"10.1145\/1599410.1599420","type":"proceedings-article","created":{"date-parts":[[2009,9,8]],"date-time":"2009-09-08T08:53:09Z","timestamp":1252399989000},"page":"73-82","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":20,"title":["Set functions for functional logic programming"],"prefix":"10.1145","author":[{"given":"Sergio","family":"Antoy","sequence":"first","affiliation":[{"name":"Portland State University, Portland, OR, USA"}]},{"given":"Michael","family":"Hanus","sequence":"additional","affiliation":[{"name":"Christian-Albrechts-University of Kiel, Kiel, Germany"}]}],"member":"320","published-online":{"date-parts":[[2009,9,7]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/647706.734659"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/647709.734946"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/773184.773205"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2004.12.007"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273920.1273936"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/11680093_2"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/11799573_9"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/11431664_7"},{"volume-title":"Electronic Notes in Theoretical Computer Science","year":"2001","author":"Antoy Sergio","key":"e_1_3_2_1_9_1","unstructured":"Sergio Antoy . Evaluation strategies for functional logic programming . In Bernhard Gramlich and Salvador Lucas, editors, Electronic Notes in Theoretical Computer Science , volume 57 . Elsevier Science Publishers , 2001 . Sergio Antoy. Evaluation strategies for functional logic programming. In Bernhard Gramlich and Salvador Lucas, editors, Electronic Notes in Theoretical Computer Science, volume 57. Elsevier Science Publishers, 2001."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/280474"},{"volume-title":"Term Rewriting Systems","year":"2003","author":"Bezem M.","key":"e_1_3_2_1_11_1","unstructured":"M. Bezem , J.W. Klop , and R. de Vrijer (eds.). Term Rewriting Systems . Cambridge University Press , 2003 . M. Bezem, J.W. Klop, and R. de Vrijer (eds.). Term Rewriting Systems. Cambridge University Press, 2003."},{"issue":"6","key":"e_1_3_2_1_12_1","first-page":"1","article-title":"Encapsulating non-determinism in functional logic computations","volume":"2004","author":"Bra\u00dfel B.","year":"2004","unstructured":"B. Bra\u00dfel , M. Hanus , and F. Huch . Encapsulating non-determinism in functional logic computations . Journal of Functional and Logic Programming , 2004 ( 6 ): 1 -- 28 , 2004 . B. Bra\u00dfel, M. Hanus, and F. Huch. Encapsulating non-determinism in functional logic computations. Journal of Functional and Logic Programming, 2004(6):1--28, 2004.","journal-title":"Journal of Functional and Logic Programming"},{"key":"e_1_3_2_1_13_1","first-page":"122","volume-title":"Proc. APLAS 2007","author":"Bra\u00dfel B.","year":"2007","unstructured":"B. Bra\u00dfel and F. Huch . On a tighter integration of functional and logic programming . In Proc. APLAS 2007 , pages 122 -- 138 . Springer LNCS 4807 , 2007 . B. Bra\u00dfel and F. Huch. On a tighter integration of functional and logic programming. In Proc. APLAS 2007, pages 122--138. Springer LNCS 4807, 2007."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00675-3_13"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87405-8_7"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(98)10029-8"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0190(98)00016-7"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/646453.693087"},{"volume-title":"Curry: An integrated functional logic language (vers. 0.8.2).","year":"2006","author":"Hanus M.","key":"e_1_3_2_1_20_1","unstructured":"M. Hanus (ed.). Curry: An integrated functional logic language (vers. 0.8.2). Available at http:\/\/www.curry-language.org, 2006 . M. Hanus (ed.). Curry: An integrated functional logic language (vers. 0.8.2). Available at http:\/\/www.curry-language.org, 2006."},{"volume-title":"PAKCS 1.9.1: The Portland Aachen Kiel Curry System.","year":"2008","author":"Hanus M.","key":"e_1_3_2_1_21_1","unstructured":"M. Hanus (ed.). PAKCS 1.9.1: The Portland Aachen Kiel Curry System. Available at http:\/\/www.informatik.uni-kiel.de\/ pakcs, 2008 . M. Hanus (ed.). PAKCS 1.9.1: The Portland Aachen Kiel Curry System. Available at http:\/\/www.informatik.uni-kiel.de\/ pakcs, 2008."},{"volume-title":"J.-L","year":"1991","author":"Huet G.","key":"e_1_3_2_1_22_1","unstructured":"G. Huet and J.-J. L\u00e9vy . Computations in orthogonal term rewriting systems . In J.-L . Lassez and G. Plotkin, editors, Computational logic: essays in honour of Alan Robinson. MIT Press , Cambridge, MA, 1991 . G. Huet and J.-J. L\u00e9vy. Computations in orthogonal term rewriting systems. In J.-L. Lassez and G. Plotkin, editors, Computational logic: essays in honour of Alan Robinson. MIT Press, Cambridge, MA, 1991."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(92)90026-Y"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068403001728"},{"volume-title":"Workshop on Functional and Logic Programming, Arbeitsbericht No. 63","year":"1998","author":"Lux W.","key":"e_1_3_2_1_25_1","unstructured":"W. Lux . An abstract machine for the efficient implementation of Curry. In H. Kuchen, editor , Workshop on Functional and Logic Programming, Arbeitsbericht No. 63 . Institut f\u00fcr Wirtschaftsinformatik, Universit\u00e4t M\u00fcnster , 1998 . W. Lux. An abstract machine for the efficient implementation of Curry. In H. Kuchen, editor, Workshop on Functional and Logic Programming, Arbeitsbericht No. 63. Institut f\u00fcr Wirtschaftsinformatik, Universit\u00e4t M\u00fcnster, 1998."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/646189.683409"},{"volume-title":"Equational Logic as a Programming Language","year":"1985","author":"O'Donnell M.J.","key":"e_1_3_2_1_27_1","unstructured":"M.J. O'Donnell . Equational Logic as a Programming Language . MIT Press , 1985 . M.J. O'Donnell. Equational Logic as a Programming Language. MIT Press, 1985."},{"issue":"11","key":"e_1_3_2_1_28_1","first-page":"1574","article-title":"Constructive failure in functional-logic programming: From theory to implementation","volume":"12","author":"S\u00e1nchez-Hern\u00e1ndez J.","year":"2006","unstructured":"J. S\u00e1nchez-Hern\u00e1ndez . Constructive failure in functional-logic programming: From theory to implementation . Journal of Universal Computer Science , 12 ( 11 ): 1574 -- 1593 , 2006 . J. S\u00e1nchez-Hern\u00e1ndez. Constructive failure in functional-logic programming: From theory to implementation. Journal of Universal Computer Science, 12(11):1574--1593, 2006.","journal-title":"Journal of Universal Computer Science"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/200616.200658"},{"volume-title":"Prentice Hall","year":"1976","author":"Wirth N.","key":"e_1_3_2_1_30_1","unstructured":"N. Wirth . Algorithms and Data Structures . Prentice Hall , 1976 . N. Wirth. Algorithms and Data Structures. Prentice Hall, 1976."}],"event":{"name":"PPDP '09: Principles and Practice of Declarative Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Coimbra Portugal","acronym":"PPDP '09"},"container-title":["Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1599410.1599420","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,11]],"date-time":"2023-01-11T15:00:27Z","timestamp":1673449227000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1599410.1599420"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,9,7]]},"references-count":29,"alternative-id":["10.1145\/1599410.1599420","10.1145\/1599410"],"URL":"https:\/\/doi.org\/10.1145\/1599410.1599420","relation":{},"subject":[],"published":{"date-parts":[[2009,9,7]]},"assertion":[{"value":"2009-09-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}