{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:40:26Z","timestamp":1742600426553,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540609834"},{"type":"electronic","value":"9783540497516"}],"license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-60983-0_13","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:09:32Z","timestamp":1330290572000},"page":"193-207","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Higher Order Babel: Language and implementation"],"prefix":"10.1007","author":[{"given":"Herbert","family":"Kuchen","sequence":"first","affiliation":[]},{"given":"Josef","family":"Anastasiadis","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"H. A\u00eft-Kaci: Warren's Abstract Machine, MIT Press, 1991.","DOI":"10.7551\/mitpress\/7160.001.0001"},{"key":"13_CR2","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1016\/0304-3975(93)90075-5","volume":"114","author":"D.J. Dougherty","year":"1993","unstructured":"D.J. Dougherty: Higher-Order Unification via Combinators, TCS 114, 273\u2013298, 1993.","journal-title":"TCS"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"A. Felty: A Logic Programming Approach to Implementing Higher-Order Term Rewriting, LNAI 596, Springer, 135\u2013161, 1992.","DOI":"10.1007\/BFb0013606"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"J.C. Gonz\u00e1lez-Moreno, M.T. Hortal\u00e1-Gonz\u00e1lez, M. Rodr\u00edguez-Artalejo: On the Completeness of Narrowing as the Operational Semantics of Functional Logic Programming, Proceedings GSL'92, LNCS 702, Springer, 216\u2013230, 1993.","DOI":"10.1007\/3-540-56992-8_14"},{"key":"13_CR5","doi-asserted-by":"crossref","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, From Theory to Practice, Journal of Logic Programming 19&20, 583\u2013628, 1994.","journal-title":"Journal of Logic Programming"},{"key":"13_CR6","unstructured":"J.R. Hindley, J.P. Seldin: Introduction to Combinators and \u03bb-Calculus, Cambridge University Press, 1990."},{"key":"13_CR7","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0304-3975(75)90011-0","volume":"1","author":"G.P. Huet","year":"1975","unstructured":"G.P. Huet: A Unification Algorithm for Typed \u03bb-Calculus, TCS 1, 27\u201357, 1975.","journal-title":"TCS"},{"key":"13_CR8","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/3-540-52592-0_69","volume":"432","author":"H. Kuchen","year":"1990","unstructured":"H. Kuchen, R. Loogen, J.J. Moreno-Navarro, M. Rodriguez-Artalejo: Graph-based Implementation of a Functional Logic Language, Procs. ESOP'90, LNCS 432, 1990, 271\u2013290.","journal-title":"Procs. ESOP'90, LNCS"},{"key":"13_CR9","doi-asserted-by":"crossref","first-page":"438","DOI":"10.1007\/3540539816_80","volume":"494","author":"R. Loogen","year":"1991","unstructured":"R. Loogen: From Reduction Machines to Narrowing Machines, TAPSOFT'91, LNCS 494, 1991, 438\u2013457.","journal-title":"TAPSOFT'91, LNCS"},{"issue":"3","key":"13_CR10","first-page":"348","volume":"17","author":"R. Milner","year":"1978","unstructured":"R. Milner: A Theory of Type Polymorphism in Programming, JCSS 17(3), 1978, 348\u2013375.","journal-title":"JCSS"},{"key":"13_CR11","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0743-1066(92)90023-V","volume":"12","author":"J.J. Moreno-Navarro","year":"1992","unstructured":"J.J. Moreno-Navarro, M. Rodriguez-Artalejo: Logic Programming with Functions and Predicates: The Language Babel, JLP, 12:189\u2013223, 1992.","journal-title":"JLP"},{"key":"13_CR12","unstructured":"G. Nadathur, B. Jayaraman: Towards a WAM Model for \u03bb-Prolog, Proceedings of ICLP, MIT Press, 1180\u20131198, 1989."},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"G. Nadathur, B. Jayaraman, K. Kwon: Scoping Constructs in Logic Programming, Implementation Problems and their Solution, JLP, Nov. 1995.","DOI":"10.1016\/0743-1066(95)00037-K"},{"key":"13_CR14","unstructured":"G. Nadathur, D. Miller: An Overview of \u03bb-Prolog, Proceedings 5th ICLP, MIT Press, 810\u2013827, 1988."},{"key":"13_CR15","unstructured":"S. Peyton Jones: The Implementation of Functional Programming Languages, Prentice-Hall, 1987."},{"key":"13_CR16","unstructured":"R. Pareschi, D. Miller: Extending Definite Clause Grammars with Scoping Constructs, Proceedings ICLP'90, MIT Press, 373\u2013389, 1990."},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"C. Prehofer: Higher Order Narrowing, Proc. LICS'94, IEEE, 507\u2013516, 1994.","DOI":"10.1109\/LICS.1994.316040"},{"key":"13_CR18","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1016\/S0747-7171(89)80023-9","volume":"8","author":"W. Snyder","year":"1989","unstructured":"W. Snyder, J. Gallier: Higher-Order Unification Revisited: Complete Sets of Transformations, J. Symbolic Computation 8, 101\u2013140, 1989.","journal-title":"J. Symbolic Computation"}],"container-title":["Lecture Notes in Computer Science","Extensions of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60983-0_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:12:16Z","timestamp":1742598736000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60983-0_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540609834","9783540497516"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-60983-0_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]},"assertion":[{"value":"2 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}