{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:45:01Z","timestamp":1725475501077},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540666776"},{"type":"electronic","value":"9783540479505"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/10705424_22","type":"book-chapter","created":{"date-parts":[[2006,12,29]],"date-time":"2006-12-29T00:25:50Z","timestamp":1167351950000},"page":"335-352","source":"Crossref","is-referenced-by-count":12,"title":["Typed Higher-Order Narrowing without Higher-Order Strategies"],"prefix":"10.1007","author":[{"given":"Sergio","family":"Antoy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew","family":"Tolmach","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/BFb0027000","volume-title":"Algebraic and Logic Programming","author":"S. Antoy","year":"1997","unstructured":"Antoy, S.: Optimal non-deterministic functional logic computations. In: Hanus, M., Heering, J., Meinke, K. (eds.) ALP 1997 and HOA 1997. LNCS, vol.\u00a01298, pp. 16\u201330. Springer, Heidelberg (1997)"},{"key":"22_CR2","first-page":"138","volume-title":"Proc. of the 14th Int. Conference on Logic Programming (ICLP 1997)","author":"S. Antoy","year":"1997","unstructured":"Antoy, S., Echahed, R., Hanus, M.: Parallel evaluation strategies for functional logic languages. In: Proc. of the 14th Int. Conference on Logic Programming (ICLP 1997), Leuven, Belgium, pp. 138\u2013152. MIT Press, Cambridge (1997)"},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"Bell, J.M., Bellegarde, F., Hook, J.: Type-driven defunctionalization. In: Proc. 2nd International Conference on Functional Programming, pp. 25\u201337 (June 1997)","DOI":"10.1145\/258948.258953"},{"key":"22_CR4","unstructured":"M. Hanus (ed.): Curry: An integrated functional logic language. Draft, January 13 (1999)"},{"key":"22_CR5","unstructured":"Gonz\u00e1lez-Moreno, J.C.: A correctness proof for Warren\u2019s HO into FO translation. In: Proc. GULP 1993, Gizzeria Lido, IT, pp. 569\u2013585 (October 1993)"},{"key":"22_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1007\/3-540-61464-8_48","volume-title":"Rewriting Techniques and Applications","author":"M. Hanus","year":"1996","unstructured":"Hanus, M., Prehofer, C.: Higher-order narrowing with definitional trees. In: Ganzinger, H. (ed.) RTA 1996. LNCS, vol.\u00a01103, pp. 138\u2013152. Springer, Heidelberg (1996)"},{"key":"22_CR7","first-page":"382","volume-title":"Proc. 6th International Conference on Logic Programming","author":"M. Hanus","year":"1989","unstructured":"Hanus, M.: Polymorphic higher-order programming in prolog. In: Proc. 6th International Conference on Logic Programming, pp. 382\u2013397. MIT Press, Cambridge (1989)"},{"key":"22_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/3-540-52531-9_142","volume-title":"Design and Implementation of Symbolic Computation Systems","author":"M. Hanus","year":"1990","unstructured":"Hanus, M.: A functional and logic language with polymorphic types. In: Miola, A. (ed.) DISCO 1990. LNCS, vol.\u00a0429, pp. 215\u2013224. Springer, Heidelberg (1990)"},{"issue":"4","key":"22_CR9","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1093\/logcom\/1.4.497","volume":"1","author":"D. Miller","year":"1991","unstructured":"Miller, D.: A logic programming language with lambda-abstraction, function vari- ables, and simple unification. Journal of Logic and Computation\u00a01(4), 497\u2013536 (1991)","journal-title":"Journal of Logic and Computation"},{"key":"22_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/BFb0026816","volume-title":"Programming Languages: Implementations, Logics and Programs","author":"K. Nakahara","year":"1995","unstructured":"Nakahara, K., Middeldorp, A., Ida, T.: A complete narrowing calculus for higher-order functional logic programming. In: Swierstra, S.D. (ed.) PLILP 1995. LNCS, vol.\u00a0982, pp. 97\u2013114. Springer, Heidelberg (1995)"},{"key":"22_CR11","first-page":"717","volume-title":"ACM National Conference","author":"J.C. Reynolds","year":"1972","unstructured":"Reynolds, J.C.: Definitional interpreters for higher-order programming languages. In: ACM National Conference, pp. 717\u2013740. ACM, New York (1972)"},{"issue":"4","key":"22_CR12","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1017\/S0956796898003086","volume":"8","author":"A. Tolmach","year":"1998","unstructured":"Tolmach, A., Oliva, D.: From ML to Ada: Strongly-typed language interoper-ability via source translation. Journal of Functional Programming\u00a08(4), 367\u2013412 (1998)","journal-title":"Journal of Functional Programming"},{"key":"22_CR13","first-page":"441","volume":"10","author":"D.H.D. Warren","year":"1982","unstructured":"Warren, D.H.D.: Higher-order extensions to PROLOG: are they needed? Machine Intelligence\u00a010, 441\u2013454 (1982)","journal-title":"Machine Intelligence"},{"key":"22_CR14","unstructured":"Proc. Workshop on Types in Compilation (TIC 1997), Boston College Computer Science Technical Report BCCS-97-03. (June 1997)"},{"key":"22_CR15","series-title":"LNCS","volume-title":"TIC 1998","year":"1998","unstructured":"Leroy, X., Ohori, A. (eds.): TIC 1998. LNCS, vol.\u00a01473. Springer, Heidelberg (1998)"}],"container-title":["Lecture Notes in Computer Science","Functional and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10705424_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T10:30:23Z","timestamp":1553337023000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10705424_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540666776","9783540479505"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/10705424_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}