{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,25]],"date-time":"2026-06-25T21:24:19Z","timestamp":1782422659586,"version":"3.54.5"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540766360","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-76637-7_9","type":"book-chapter","created":{"date-parts":[[2007,11,20]],"date-time":"2007-11-20T07:47:52Z","timestamp":1195544872000},"page":"122-138","source":"Crossref","is-referenced-by-count":20,"title":["On a Tighter Integration of Functional and Logic Programming"],"prefix":"10.1007","author":[{"given":"Bernd","family":"Bra\u00dfel","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Frank","family":"Huch","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"1","key":"9_CR1","doi-asserted-by":"publisher","first-page":"795","DOI":"10.1016\/j.jsc.2004.01.001","volume":"40","author":"E. Albert","year":"2005","unstructured":"Albert, E., Hanus, M., Huch, F., Oliver, J., Vidal, G.: Operational semantics for declarative multi-paradigm languages. Journal of Symbolic Computation\u00a040(1), 795\u2013829 (2005)","journal-title":"Journal of Symbolic Computation"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/11805618_4","volume-title":"Term Rewriting and Applications","author":"S. Antoy","year":"2006","unstructured":"Antoy, S., Brown, D., Chiang, S.-H.: On the correctness of bubbling. In: Pfenning, F. (ed.) RTA 2006. LNCS, vol.\u00a04098, pp. 35\u201349. Springer, Heidelberg (2006)"},{"issue":"4","key":"9_CR3","doi-asserted-by":"publisher","first-page":"776","DOI":"10.1145\/347476.347484","volume":"47","author":"S. Antoy","year":"2000","unstructured":"Antoy, S., Echahed, R., Hanus, M.: A needed narrowing strategy. Journal of the ACM\u00a047(4), 776\u2013822 (2000)","journal-title":"Journal of the ACM"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/11799573_9","volume-title":"Logic Programming","author":"S. Antoy","year":"2006","unstructured":"Antoy, S., Hanus, M.: Overlapping rules and logic variables in functional logic programs. In: Etalle, S., Truszczy\u0144ski, M. (eds.) ICLP 2006. LNCS, vol.\u00a04079, pp. 87\u2013101. Springer, Heidelberg (2006)"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Bra\u00dfel, B., Hanus, M., Huch, F.: Encapsulating non-determinism in functional logic computations. Journal of Functional and Logic Programming\u00a02004(6) (2004)","DOI":"10.1007\/978-3-540-24836-1_14"},{"key":"9_CR6","first-page":"60","volume-title":"WCFLP 2005","author":"B. Bra\u00dfel","year":"2005","unstructured":"Bra\u00dfel, B., Huch, F.: Translating Curry to Haskell. In: WCFLP 2005, pp. 60\u201365. ACM Press, New York (2005)"},{"key":"9_CR7","unstructured":"Bra\u00dfel, B., Huch, F.: On the tighter integration of functional and logic programming. Technical Report 0710, Institute of Computer Science, CAU Kiel (2007)"},{"key":"9_CR8","unstructured":"Dios, J., L\u00f3pez-Fraguas, F.J.: Elimination of extra variables from functional logic programs. In: Lucio, P., Orejas, F. (eds.) PROLE 2006, pp. 121\u2013135 (2006)"},{"key":"9_CR9","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/S0743-1066(98)10029-8","volume":"40","author":"J.C. Gonz\u00e1lez-Moreno","year":"1999","unstructured":"Gonz\u00e1lez-Moreno, J.C., Hortal\u00e1-Gonz\u00e1lez, M.T., L\u00f3pez-Fraguas, F.J., Rodr\u00edguez-Artalejo, M.: An approach to declarative programming based on a rewriting logic. Journal of Logic Programming\u00a040, 47\u201387 (1999)","journal-title":"Journal of Logic Programming"},{"key":"9_CR10","unstructured":"Hanus, M., Antoy, S., Bra\u00dfel, B., Engelke, M., H\u00f6ppner, K., Koj, J., Niederau, P., Sadre, R., Steiner, F.: PAKCS: The Portland Aachen Kiel Curry System (2006), Available at http:\/\/www.informatik.uni-kiel.de\/~pakcs\/"},{"key":"9_CR11","unstructured":"Hanus, M. (ed): Curry: An integrated functional logic language (vers. 0.8.2) (2006), Available at http:\/\/www.informatik.uni-kiel.de\/~curry"},{"issue":"2","key":"9_CR12","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1142\/S0129054101000436","volume":"12","author":"R. Hinze","year":"2001","unstructured":"Hinze, R.: Prolog\u2019s control constructs in a functional setting - axioms and implementation. International Journal of Foundations of Computer Science\u00a012(2), 125\u2013170 (2001)","journal-title":"International Journal of Foundations of Computer Science"},{"key":"9_CR13","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1145\/158511.158618","volume-title":"POPL 1993","author":"J. Launchbury","year":"1993","unstructured":"Launchbury, J.: A natural semantics for lazy evaluation. In: POPL 1993, pp. 144\u2013154. ACM Press, New York (1993)"},{"key":"9_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1007\/10705424_7","volume-title":"Functional and Logic Programming","author":"W. Lux","year":"1999","unstructured":"Lux, W.: Implementing encapsulated search for a lazy functional logic language. In: Middeldorp, A. (ed.) FLOPS 1999. LNCS, vol.\u00a01722, pp. 100\u2013113. Springer, Heidelberg (1999)"},{"key":"9_CR15","first-page":"390","volume-title":"Informatik 1999 \u2014 Annual meeting of the German Computer Science Society (GI)","author":"W. Lux","year":"1999","unstructured":"Lux, W., Kuchen, H.: An efficient abstract machine for Curry. In: Beiersd\u00f6rfer, K., Engels, G., Sch\u00e4fer, W. (eds.) Informatik 1999 \u2014 Annual meeting of the German Computer Science Society (GI), pp. 390\u2013399. Springer, Heidelberg (1999)"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-76637-7_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:56:28Z","timestamp":1619520988000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-76637-7_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540766360"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-76637-7_9","relation":{},"subject":[]}}