{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:58:11Z","timestamp":1725487091223},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540401902"},{"type":"electronic","value":"9783540448549"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44854-3_7","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T11:56:07Z","timestamp":1184586967000},"page":"101-117","source":"Crossref","is-referenced-by-count":17,"title":["Lazy Dynamic Input\/Output in the Lazy Functional Language Clean"],"prefix":"10.1007","author":[{"given":"Martijn","family":"Vervoort","sequence":"first","affiliation":[]},{"given":"Rinus","family":"Plasmeijer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,6,18]]},"reference":[{"issue":"1","key":"7_CR1","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1017\/S095679680000126X","volume":"5","author":"M. Abadi","year":"1995","unstructured":"M. Abadi, L. Cardelli, B. Pierce, D. R\u00e9my. Dynamic typing in polymorphic languages, Journal of Functional Programming 5(1):111\u2013130, Cambridge University Press 1995.","journal-title":"Journal of Functional Programming"},{"key":"7_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/3-540-46028-4_11","volume-title":"Proc. of Implementation of Functional Languages, \u00c4lvsj\u00f6, Sweden","author":"A. Alimarine","year":"2002","unstructured":"A. Alimarine and R. Plasmeijer, A Generic Programming Extension for Clean, In Proc. of Implementation of Functional Languages, \u00c4lvsj\u00f6, Sweden, Arts Th., Mohnen M., Springer-Verlag, LNCS 2312, pages 168\u2013185."},{"key":"7_CR3","unstructured":"T. Davie, K. Hammond, J. Quintela, Efficient Persistent Haskell, In: Draft proceedings of the 10th workshop on the implementation of Functional Languages, pp. 183\u2013194, University College London, September 1998."},{"key":"7_CR4","series-title":"Technical Report","volume-title":"The Mercury language reference manual","author":"F. Henderson","year":"1996","unstructured":"F. Henderson, T. Conway, Z. Somogyi amd D. Jeffery, The Mercury language reference manual, Technical Report 96\/10, Department of Computer Science, University of Melbourne, Melbourne, Australia, 1996."},{"key":"7_CR5","unstructured":"S. P. Jones and J. Hughes (eds.) (1999), Report on the Programming Language Haskell 98, A Non-strict Purely Functional Language."},{"key":"7_CR6","unstructured":"X. Leroy, D. Doligez, J. Garrigue, D. R\u00e9my and J. Vouillon The Objective Caml system release 3.04 Documentation and user\u2019s manual, December 10, 2001 Institut National de Recherche en Informatique et en Automatique."},{"key":"7_CR7","unstructured":"D. McNally, Models for Persistence in Lazy Functional Programming Systems, PhD Thesis, University of St Andrews Technical Report CS\/93\/9, 1993."},{"key":"7_CR8","unstructured":"R. Morrison, A. Brown, R. Connor, Q. Cutts, A. Dearle, G. Kirby and D. Munro. Napier88 Reference Manual (Release 2.2.1), University of St. Andrews, July 1996."},{"key":"7_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/3-540-63237-9_28","volume-title":"Proc. of Implementation of Functional Languages, 8th International Workshop, Selected Papers, Bad Godesberg, Germany","author":"M.R.C. Pil","year":"1997","unstructured":"M.R.C. Pil, (1997) First Class I\/O, In Proc. of Implementation of Functional Languages, 8th International Workshop, Selected Papers, Bad Godesberg, Germany, Kluge Ed., Springer Verlag, LNCS 1268, pp. 233\u2013246."},{"key":"7_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/3-540-48515-5_11","volume-title":"Proc. of Implementation of Functional Languages, London, UK","author":"M.R.C. Pil","year":"1999","unstructured":"M.R.C. Pil, (1999), Dynamic types and type dependent functions, In Proc. of Implementation of Functional Languages, London, UK, Hammond, Davie and Clack Eds. Springer-Verlag, Berlin, Lecture Notes in Computer Science 1595, pp 169\u2013185."},{"key":"7_CR11","unstructured":"R. Plasmeijer, M.C.J.D. van Eekelen (2001), Language Report Concurrent Clean, Version 2.0 (Draft) Faculty of mathematics and Informatics, University of Nijmegen, December 2001. Also available at http:\/\/www.cs.kun.nl\/ clean\/Manuals\/manuals.html"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"R.L. Rivest, RFC 1321: The MD5 Message-Digest Algorithm, Internet Activities Board, 1992.","DOI":"10.17487\/rfc1321"},{"key":"7_CR13","unstructured":"P. van Roy and S. Haridi, Mozart: A Programming System for Agent Applications, International Workshop on Distributed and Internet Programming with Logic and Constraint Languages, Part of International Conference on Logic Programming."}],"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-44854-3_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T23:15:25Z","timestamp":1556666125000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44854-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540401902","9783540448549"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-44854-3_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}