{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:48:58Z","timestamp":1725490138850},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540417682"},{"type":"electronic","value":"9783540452416"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45241-9_6","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T14:24:00Z","timestamp":1188311040000},"page":"76-92","source":"Crossref","is-referenced-by-count":29,"title":["High-Level Server Side Web Scripting in Curry"],"prefix":"10.1007","author":[{"given":"Michael","family":"Hanus","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,3,29]]},"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","unstructured":"D. Cabeza and M. Hermenegildo. Internet and WWW Programming using Computational Logic Systems. In Workshop on Logic Programming and the Internet, 1996. See also http:\/\/www.clip.dia.fi.upm.es\/miscdocs\/pillow\/pillow.html ."},{"key":"6_CR3","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, Vol. 19&20, pp. 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. of the 24th ACM Symposium on Principles of Programming Languages (Paris), pp. 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":"1999","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\u201999), pp. 376\u2013395. Springer LNCS 1702, 1999."},{"key":"6_CR6","series-title":"Lect Notes Comput Sci","first-page":"47","volume-title":"A Functional Logic Programming Approach to Graphical User Interfaces","author":"M. Hanus","year":"2000","unstructured":"M. Hanus. A Functional Logic Programming Approach to Graphical User Interfaces. In International Workshop on Practical Aspects of Declarative Languages (PADL\u201900), pp. 47\u201362. Springer LNCS 1753, 2000."},{"key":"6_CR7","unstructured":"M. Hanus, S. Antoy, J. Koj, P. Niederau, R. Sadre, and F. Steiner. PAKCS: The Portland Aachen Kiel Curry System. Available at http:\/\/www.informatik.uni-kiel.de\/~pakcs\/ , 2000."},{"key":"6_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1007\/BFb0056627","volume-title":"Controlling Search in Declarative Programs","author":"M. Hanus","year":"1998","unstructured":"M. Hanus and F. Steiner. Controlling Search in Declarative Programs. In Principles of Declarative Programming (Proc. Joint International Symposium PLILP\/ALP\u201998), pp. 374\u2013390. Springer LNCS 1490, 1998."},{"key":"6_CR9","unstructured":"M. Hanus (ed.). Curry: An Integrated Functional Logic Language (Vers. 0.7.1). Available at http:\/\/www.informatik.uni-kiel.de\/~curry , 2000."},{"key":"6_CR10","unstructured":"J. Hughes. Why Functional Programming Matters. In D.A. Turner, editor, Research Topics in Functional Programming, pp. 17\u201342. Addison Wesley, 1990."},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"J. Hughes. Generalising Monads to Arrows. Submitted for publication, 1998.","DOI":"10.1007\/BFb0054281"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"D.A. Ladd and J.C. Ramming. Programming the Web: An Application-Oriented Language for Hypermedia Services. In 4th International World Wide Web Conference, 1995.","DOI":"10.1145\/3592626.3592673"},{"issue":"1","key":"6_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0956796899003561","volume":"10","author":"E. Meijer","year":"2000","unstructured":"E. Meijer. Server Side Web Scripting in Haskell. Journal of Functional Programming, Vol. 10, No. 1, pp. 1\u201318, 2000.","journal-title":"Journal of Functional Programming"},{"key":"6_CR14","unstructured":"J. Peterson et al. Haskell: A Non-strict, Purely Functional Language (Version 1.4). Technical Report, Yale University, 1997."},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"A. Sandholm and M.I. Schwartzbach. A Type System for Dynamic Web Documents. In Proc. of the 27th ACM Symposium on Principles of Programming Languages, pp. 290\u2013301, 2000.","DOI":"10.1145\/325694.325733"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"V.A. Saraswat. Concurrent Constraint Programming. MIT Press, 1993.","DOI":"10.7551\/mitpress\/2086.001.0001"},{"key":"6_CR17","series-title":"Lect Notes Comput Sci","first-page":"263","volume-title":"Modelling HTML in Haskell","author":"P. Thiemann","year":"2000","unstructured":"P. Thiemann. Modelling HTML in Haskell. In International Workshop on Practical Aspects of Declarative Languages (PADL\u201900), pp. 263\u2013277. Springer LNCS 1753, 2000."},{"issue":"3","key":"6_CR18","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1145\/262009.262011","volume":"29","author":"P. Wadler","year":"1997","unstructured":"P. Wadler. How to Declare an Imperative. ACM Computing Surveys, Vol. 29, No. 3, pp. 240\u2013263, 1997.","journal-title":"ACM Computing Surveys"},{"key":"6_CR19","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1002\/spe.4380100203","volume":"10","author":"D.H.D. Warren","year":"1980","unstructured":"D.H.D. Warren. Logic Programming and Compiler Writing. Software-Practice and Experience, Vol. 10, pp. 97\u2013125, 1980.","journal-title":"Software-Practice and Experience"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45241-9_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,17]],"date-time":"2024-02-17T16:43:24Z","timestamp":1708188204000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45241-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540417682","9783540452416"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-45241-9_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}