{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:16:45Z","timestamp":1725664605267},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540594512"},{"type":"electronic","value":"9783540492702"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59451-5_6","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:17:38Z","timestamp":1330258658000},"page":"183-227","source":"Crossref","is-referenced-by-count":0,"title":["Constructing medium sized efficient functional programs in Clean"],"prefix":"10.1007","author":[{"given":"Marko C. J. D.","family":"Eekelen","sequence":"first","affiliation":[]},{"given":"Rinus (M.) J.","family":"Plasmeijer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"6_CR1","first-page":"30","volume-title":"A Framework for Deterministically Interleaved Interactive Programs in the Functional Programming Language Clean","author":"P.M. Achten","year":"1994","unstructured":"Achten, P.M., and Plasmeijer, M.J. 1994. A Framework for Deterministically Interleaved Interactive Programs in the Functional Programming Language Clean. In Bakker E. ed. Proc. Computing Science in the Netherlands, CSN'94. Jaarbeurs Utrecht. The Netherlands. Stichting Mathematisch Centrum, Amsterdam. pp. 30\u201341."},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Achten, P.M., and Plasmeijer, M.J. 1995. The Ins and Outs of Clean I\/O, Journal of Functional Programming. 5 (1).","DOI":"10.1017\/S0956796800001258"},{"key":"6_CR3","first-page":"141","volume-title":"LNCS 259, Vol.II.","author":"H.P. Barendregt","year":"1987","unstructured":"Barendregt, H.P., Eekelen van, M.C.J.D., Glauert, J.R.W., Kennaway, J.R., Plasmeijer, M.J., and Sleep, M.R. 1987. Term Graph Rewriting. In Bakker, J.W. de, Nijman, A.J., and Treleaven, P.C. (editors), Proceedings of Parallel Architectures and Languages Europe, Eindhoven, The Netherlands, LNCS 259, Vol.II., pp. 141\u2013158. Springer-Verlag."},{"key":"6_CR4","first-page":"41","volume-title":"LNCS 761","author":"E. Barendsen","year":"1993","unstructured":"Barendsen, E., and Smetsers, J.E.W. 1993. Conventional and Uniqueness Typing in Graph Rewrite Systems (extended abstract). In Shyamasundar, R.K. (editor), Proceedings of the Thirteenth Conference on the Foundations of Software Technology and Theoretical Computer Science, Bombay, India, December 15\u201317, 1993. LNCS 761, pp. 41\u201351. Springer-Verlag."},{"key":"6_CR5","first-page":"364","volume-title":"LNCS 274","author":"T. Brus","year":"1987","unstructured":"Brus, T., Eekelen, M.C.J.D. van, Leer, M.O. van, and Plasmeijer, M.J. 1987. Clean: A Language for Functional Graph Rewriting. In Kahn. G. (editor), Proceedings of the Third International Conference on Functional Programming Languages and Computer Architecture, Portland, Oregon, USA, LNCS 274, pp. 364\u2013384. Springer-Verlag."},{"key":"6_CR6","first-page":"321","volume-title":"Fudgets \u2014 A Graphical User Interface in a Lazy Functional Language","author":"M. Carlsson","year":"1993","unstructured":"Carlsson, M., and Hallgren, Th. 1993. Fudgets \u2014 A Graphical User Interface in a Lazy Functional Language. In Proceedings of the Conference on Functional Programming Languages and Computer Architecture. Copenhagen, Denmark, June 9\u201311, 1993, pp. 321\u2013330. ACM Press."},{"key":"6_CR7","series-title":"Year of Programming Series","isbn-type":"print","first-page":"43","volume-title":"Research Topics in Functional Programming","author":"R. Cartwright","year":"1990","unstructured":"Cartwright, R., and Boehm, B. 1990. Exact Real Arithmetic, formulating real numbers as functions. In Turner, D.A. (editor), Research Topics in Functional Programming. University of Texas at Austin Year of Programming Series, pp. 43\u201364. Addison Wesley Publishing Company. ISBN 0-201-17236-4.","ISBN":"http:\/\/id.crossref.org\/isbn\/0201172364"},{"key":"6_CR8","unstructured":"Harper, R., D. MacQueen and R. Milner (1986). 'standard ML'. Edinburgh University, Internal report ECS-LFCS-86-2."},{"key":"6_CR9","volume-title":"Computer Science Master Thesis nr. 300","author":"W.A.C.A.J. Hoon de","year":"1993","unstructured":"Hoon, W.A.C.A.J. de 1993. Designing a spreadsheet in a pure functional graph rewriting language, Computer Science Master Thesis nr. 300, University of Nijmegen, The Netherlands."},{"key":"6_CR10","unstructured":"Hoon, W.A.C.A.J. de, Rutten, L.M.W.J., and Eekelen, M.C.J.D. van 1994. Fun-Sheet: A Functional Spreadsheet. Proceedings of the Sixth International Workshop on the Implementation of Functional Languages, Norwich, UK, September 1994, pp. 11.1\u201311.24."},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Hoon, W.A.C.A.J. de, Rutten, L.M.W.J., and Eekelen, M.C.J.D. van 1995. Implementing a Functional Spreadsheet in Clean. Journal of Functional Programming, Vol 3, 1995, to appear.","DOI":"10.1017\/S0956796800001404"},{"issue":"5","key":"6_CR12","first-page":"1","volume":"27","author":"P. Hudak","year":"1992","unstructured":"Hudak, P., S. Peyton Jones, Ph. Wadler, B. Boutel, J. Fairbairn, J. Fasel, K. Hammond, J. Hughes, Th. Johnsson, D. Kieburtz, R. Nikhil, W. Partain and J. Peterson (1992). \u2018Report on the programming language Haskell'. ACM SigPlan notices, 27, 5, pp. 1\u2013164.","journal-title":"ACM SigPlan notices"},{"key":"6_CR13","unstructured":"Jones, M.P. (1993). Gofer \u2014 Gofer 2.21 release notes. Yale University."},{"key":"6_CR14","first-page":"202","volume-title":"LNCS 506","author":"E.G.J.M.H. N\u00f6cker","year":"1991","unstructured":"N\u00f6cker, E.G.J.M.H., Smetsers, J.E.W., Eekelen, M.C.J.D. van, and Plasmeijer, M.J. 1991. Concurrent Clean. In Aarts, E.H.L., Leeuwen, J. van, Rem, M. (editors), Proceedings of Parallel Architectures and Languages Europe, June 1991, Eindhoven, The Netherlands. LNCS 506, pp. 202\u2013219. Springer-Verlag."},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Peyton Jones, S.L., and Wadler, Ph. 1993. Imperative Functional Programming. In Proceedings of the Twentieth Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, Charleston, South Carolina, January 10\u201313, 1993, pp. 71\u201384.","DOI":"10.1145\/158511.158524"},{"key":"6_CR16","unstructured":"Plasmeijer, M.J., and Eekelen, M.C.J.D. van 1993. Functional Programming and Parallel Graph Rewriting. Addison Wesley Publishing Company. ISBN 0-201-41663-8."},{"key":"6_CR17","volume-title":"Technical Report","author":"M.J. Plasmeijer","year":"1995","unstructured":"Plasmeijer, M.J., and Eekelen, M.C.J.D. van 1995. Clean 1.0 Reference Manual. Technical Report, in preparation. University of Nijmegen, The Netherlands."},{"issue":"8","key":"6_CR18","first-page":"183","volume":"19","author":"D. Pountain","year":"1994","unstructured":"Pountain, D. 1994. Functional Programming Comes of Age. Byte Magazine, 19(8): pp. 183\u2013184.","journal-title":"Byte Magazine"},{"key":"6_CR19","volume-title":"LNCS 776","author":"J.E.W. Smetsers","year":"1993","unstructured":"Smetsers, J.E.W., Barendsen, E., Eekelen, M.C.J.D. van, and Plasmeijer, M. J. 1993. Guaranteeing Safe Destructive Updates through a Type System with Uniqueness Information for Graphs. In Schneider H.J., and Ehrig H. (editors), Proceedings Workshop Graph Transformations in Computer Science, Schloss Dagstuhl, January 4\u20138, 1993. LNCS 776, Springer-Verlag."},{"key":"6_CR20","unstructured":"Turner, D.A. 1990. An Approach to Functional Operating Systems. In Turner, D.A. (editor), Research topics in Functional Programming, pp. 199\u2013217. Addison-Wesley Publishing Company, ISBN 0-201-17236-4."},{"key":"6_CR21","first-page":"1","volume-title":"LNCS 201","author":"D.A. Turner","year":"1985","unstructured":"Turner, D.A. (1985). \u2018Miranda: a non-strict functional language with polymorphic types'. In: Proc. of the Conference on Functional Programming Languages and Computer Architecture, ed. J.P. Jouannaud, Nancy, France. LNCS 201, Springer Verlag, 1\u201316."},{"key":"6_CR22","volume-title":"Technical Report 760","author":"Vuillemin","year":"1987","unstructured":"Vuillemin (1987). Arithm\u00e9tic r\u00e9elle exacte par les fractions continues. Technical Report 760. Institute National de Recherche en Informatique et en Automatique. Domaine de Voluceau, Roquencourt, BP105, 78153 Le Chesnay Cedex, France."}],"container-title":["Lecture Notes in Computer Science","Advanced Functional Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59451-5_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:27:39Z","timestamp":1619558859000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59451-5_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540594512","9783540492702"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-59451-5_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}