{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:20:16Z","timestamp":1725488416722},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540666943"},{"type":"electronic","value":"9783540478492"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-47849-3_20","type":"book-chapter","created":{"date-parts":[[2007,8,11]],"date-time":"2007-08-11T00:45:30Z","timestamp":1186793130000},"page":"331-339","source":"Crossref","is-referenced-by-count":1,"title":["UPV-Curry: An Incremental Curry Interpreter"],"prefix":"10.1007","author":[{"given":"M.","family":"Alpuente","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Escobar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Lucas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,4,19]]},"reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"E. Albert, M. Alpuente, M. Hanus, and G. Vidal. A Partial Evaluation Framework for Curry Programs. In Proc. of LPAR\u201999.","DOI":"10.1007\/3-540-48242-3_23"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"S. Antoy, R. Echahed, and M. Hanus. A Needed Narrowing Strategy. In Proc. of POPL\u201994, pages 268\u2013279, 1994.","DOI":"10.1145\/174675.177899"},{"key":"20_CR3","unstructured":"M. Alpuente, S. Escobar, and S. Lucas. Incremental needed narrowing. In Proc. of the International PLI\u201999 Workshop IDL\u2019 99."},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"M. Alpuente, M. Falaschi, G. Moreno, and G. Vidal. A Transformation System for Lazy Functional Logic Programs In Proc. of FLOPS\u2019 99.","DOI":"10.1007\/10705424_10"},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"M. Alpuente, M. Hanus, S. Lucas, and G. Vidal. Specialization of Inductively Sequential Functional Logic Programs. In Proc. of ICFP\u201999.","DOI":"10.1145\/317636.317910"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"F. Baader and T. Nipkow. Term Rewriting and All That. Cambridge University Press, 1998.","DOI":"10.1017\/CBO9781139172752"},{"key":"20_CR7","unstructured":"S. Escobar, M. Alpuente, and S. Lucas. UPV-Curry User\u2019s Manual. TR DSIC-II\/38\/98. \n                    http:\/\/www.dsic.upv.es\/users\/elp\/papers.html\n                    \n                  ."},{"key":"20_CR8","unstructured":"M. Hanus, S. Antoy, H. Kuchen, F. J. L\u00f3pez-Fraguas, and F. Steiner. Curry An Integrated Functional Logic Language (version 0.5). Available at \n                    http:\/\/www-i2.informatik.rwth-aachen.de\/ hanus\/curry\n                    \n                  , Jan 1999."},{"key":"20_CR9","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1016\/0743-1066(94)90034-5","volume":"19&20","author":"M. Hanus","year":"1994","unstructured":"M. Hanus. The integration of functions into logic programming: From theory to practice. Journal of Logic Programming, 19&20:583\u2013628, 1994.","journal-title":"Journal of Logic Programming"},{"key":"20_CR10","unstructured":"M. Hanus, H. Kuchen, and J.J. Moreno-Navarro. Curry: A truly functional logic language. In Proc. ILPS\u201995 Workshop on Visions for the Future of Logic Programming, pages 95\u2013107, 1995."},{"key":"20_CR11","volume-title":"The G\u00f6del Programming Language","author":"P. Hill","year":"1994","unstructured":"P. Hill and J. W. Lloyd. The G\u00f6del Programming Language. The MIT Press, Cambridge, MA, 1994."},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"P. Hudak, S. Peyton Jones, and P. Wadler. Report on the Functional Programming Language Haskell: a non-strict, purely functional language. Sigplan Notices, 27(5), 1992.","DOI":"10.1145\/130697.130699"},{"key":"20_CR13","unstructured":"H. Kuchen and J. Anastasiadis. Higher Order Babel: Language and implementation. In Proc. of ELP\u2019 96, LNAI 1050:193\u2013207, 1996."},{"key":"20_CR14","series-title":"Lect Notes Comput Sci","volume-title":"Proc. of RTA\u201999","author":"F.J. L. Fraguas","year":"1999","unstructured":"F.J. L\u00f3pez Fraguas and J. S\u00e1nchez Hern\u00e1ndez. \u03c4\u03bf\u03b3:A multiparadigm Declarative System. In Proc. of RTA\u201999, LNCS 1631, 1999."},{"key":"20_CR15","unstructured":"R. Milner, M. Tofte, and R. Harper. The Definition of ML. The MIT Press, 1990."},{"key":"20_CR16","first-page":"810","volume-title":"An Overview of \u03bbProlog","author":"G. Nadathur","year":"1988","unstructured":"G. Nadathur and D. Miller. An Overview of \u03bbProlog. In Proc. of ICLP\u201988,pages 810\u2013827. The MIT Press, Cambridge, MA, 1988."}],"container-title":["Lecture Notes in Computer Science","SOFSEM\u201999: Theory and Practice of Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-47849-3_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,21]],"date-time":"2019-02-21T05:42:40Z","timestamp":1550727760000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-47849-3_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540666943","9783540478492"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-47849-3_20","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}