{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:43Z","timestamp":1761611203911},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540419198"},{"type":"electronic","value":"9783540453611"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45361-x_6","type":"book-chapter","created":{"date-parts":[[2007,5,30]],"date-time":"2007-05-30T20:42:57Z","timestamp":1180557777000},"page":"89-106","source":"Crossref","is-referenced-by-count":3,"title":["ObjectCurry:An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry"],"prefix":"10.1007","author":[{"given":"Michael","family":"Hanus","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Huch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philipp","family":"Niederau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,4,10]]},"reference":[{"issue":"4","key":"6_CR1","doi-asserted-by":"publisher","first-page":"776","DOI":"10.1145\/347476.347484","volume":"47","author":"S. Antoy","year":"2000","unstructured":"S. Antoy, R. Echahed, and M. Hanus. A Needed Narrowing Strategy. Journal of the ACM,Vol. 47, No. 4, pp.776\u2013822, 2000.","journal-title":"Journal of the ACM"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"L. Damas and R. Milner. Principal type-schemes for functional programs. In Proc. 9th nnual Symposium on Principles of Programming Languages, pages 207\u2013212, 1982.","DOI":"10.1145\/582153.582176"},{"key":"6_CR3","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1016\/0743-1066(94)90034-5","volume":"19","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":"6_CR4","doi-asserted-by":"crossref","unstructured":"M. Hanus. A unified computation model for functional and logic programming. In Proc.24th CM Symp. Principles of Programming Languages, pages 80\u201393, 1997.","DOI":"10.1145\/263699.263710"},{"key":"6_CR5","series-title":"Lect Notes Comput Sci","first-page":"376","volume-title":"Distributed programming in a multi-paradigm declarative language","author":"M. Hanus","year":"1992","unstructured":"M. Hanus. Distributed programming in a multi-paradigm declarative language. In Proc.of the International Conference on Principles and Practice of Declarative Programming (PPDP\u2019 99), pages 376\u2013395. Springer LNCS 1702, 1999."},{"key":"6_CR6","unstructured":"M. Hanus. Curry:An Integrated Functional Logic Language, 2000. \n                  http:\/\/www.informatik.uni-kiel.de\/~curry\/"},{"key":"6_CR7","unstructured":"J. Hughes and J. Sparud. Haskell++:An object-oriented extension of Haskell. In Proceedings of the Workshop on Haskell, La Jolla,California,YALE Research Report DCS\/RR-1075, 1995."},{"key":"6_CR8","first-page":"211","volume-title":"Research Directions in Concurrent Object-Oriented Programming","author":"S. Janson","year":"1993","unstructured":"S. Janson, J. Montelius, and S. Haridi. Ports for objects in concurrent logic programs.In G. Agha, P. Wegner, and A. Yonezawa, editors, Research Directions in Concurrent Object-Oriented Programming, pages 211\u2013231. MITPress, London, 1993."},{"key":"6_CR9","unstructured":"M.P. Jones. Typing Haskell in Haskell, 1999. In Proceedings of the Workshop on Haskell, Paris, France, Technical Report UU\u2013CS\u20131999\u201328, University of Utrecht, 1999."},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"S. Kaes. Type inference in the presence of overloading, subtyping and recursive types. In 1992 CM Conference on Lisp and Functional Programming,pages 193\u2013204. ACM, ACM, August 1992.","DOI":"10.1145\/141471.141540"},{"key":"6_CR11","unstructured":"X. Leroy. The Objective Caml system. Technical report, 1996. \n                  http:\/\/pauillac.inria.fr\/ocaml\/\n                  \n                ."},{"key":"6_CR12","unstructured":"P. Niederau. Object-oriented extension of a declarative language (in german). Master\u2019 s thesis, RWTH Aachen, 2000."},{"key":"6_CR13","unstructured":"J. Nordlander. Rationale for O 'Haskell, August 1999. \n                  http:\/\/www.cs.chalmers.se\/~nordland\/ohaskell\/rationale.html"},{"key":"6_CR14","unstructured":"J. Nordlander. Reactive Objects and Functional Programming. PhD thesis, Chalmers G\u00f6teborg University, May 1999."},{"key":"6_CR15","unstructured":"J. Peterson et al. Haskell:A non-strict, purely functional language (version 1.4). Technical report, Yale University, Yale, 1997."},{"key":"6_CR16","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/BF03037020","volume":"1","author":"E. Shapiro","year":"1983","unstructured":"E. Shapiro and A. Takeuchi. Object oriented programming in Concurent Prolog. New Generation Computing,1:25\u201348, 1983.","journal-title":"New Generation Computing"},{"key":"6_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"324","DOI":"10.1007\/BFb0015252","volume-title":"Computer Science Today:Recent Trends and Developments","author":"G. Smolka","year":"1995","unstructured":"G. Smolka.The Oz programming model. In J. van Leeuwen, editor, Computer Science Today:Recent Trends and Developments, pages 324\u2013343. Springer LNCS 1000, 1995."}],"container-title":["Lecture Notes in Computer Science","Implementation of Functional Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45361-X_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T20:11:13Z","timestamp":1550347873000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45361-X_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540419198","9783540453611"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-45361-x_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}