{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T16:16:46Z","timestamp":1725898606712},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540676584"},{"type":"electronic","value":"9783540451044"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-45104-8_1","type":"book-chapter","created":{"date-parts":[[2007,11,7]],"date-time":"2007-11-07T22:57:00Z","timestamp":1194476220000},"page":"1-13","source":"Crossref","is-referenced-by-count":1,"title":["Term Graph Rewriting and Mobile Expressions in Functional Languages"],"prefix":"10.1007","author":[{"given":"Rinus","family":"Plasmeijer","sequence":"first","affiliation":[]},{"given":"Marko","family":"van Eekelen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,4,18]]},"reference":[{"issue":"2","key":"1_CR1","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1145\/103135.103138","volume":"13","author":"M. Abadi","year":"1991","unstructured":"Abadi, M., Cardelli, L., Pierce, B. and Plotkin, G. (1991). Dynamic Typing in a Statically Typed Language. ACM Transactions on Programming Languages and Systems, 13(2):237\u2013268.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"1","key":"1_CR2","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1017\/S0956796800001258","volume":"5","author":"P.M. Achten","year":"1995","unstructured":"Achten, P.M., and Plasmeijer, M.J. (1995). The ins and outs of Clean I\/O. J Functional Programming, 5(1):81\u2013110.","journal-title":"J Functional Programming"},{"key":"1_CR3","unstructured":"Achten, P.M. (1996). Interactive Functional Programs-models, methods, and implementations. Ph.D., University of Nijmegen."},{"key":"1_CR4","series-title":"Lect Notes Comput Sci","first-page":"387","volume-title":"Proc. 1997 Workshop on the Implementation of Functional Languages (IFL\u201997)","author":"P. Achten","year":"1997","unstructured":"Achten, P., and Plasmeijer, R. (1997). Interactive Functional Objects in Clean. In Proc. 1997 Workshop on the Implementation of Functional Languages (IFL\u201997). (Hammond, K., Davie, T., and Clack, C. eds.), St. Andrews, Scotland. pp. 387\u2013406. A revised version will appear in the proceedings, LNCS 1467, Springer Verlag."},{"key":"1_CR5","unstructured":"Armstrong, J., Virding, R., Williams, M. (1993). Concurrent Programming in Erlang. Prentice Hall."},{"key":"1_CR6","unstructured":"Barendregt, H.P. (1984). The Lambda Calculus-Its Syntax and Semantics (revised edition). Studies in Logic and the Foundations of Mathematics 103. Elsevier Science Publishers 1984."},{"key":"1_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/3-540-17945-3_8","volume-title":"Parallel Architectures and Languages Europe","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. eds. Parallel Architectures and Languages Europe, Eindhoven, The Netherlands, LNCS 259, Vol.11. Springer-Verlag, Berlin, pp. 141\u2013158."},{"key":"1_CR8","doi-asserted-by":"crossref","first-page":"579","DOI":"10.1017\/S0960129500070109","volume":"6","author":"E. Barendsen","year":"1996","unstructured":"Barendsen, E., and Smetsers, S. (1996). Uniqueness typing for functional languages with graph rewriting semantics. Mathematical Structures in Computer Science, 6:579\u2013612.","journal-title":"Mathematical Structures in Computer Science"},{"key":"1_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"364","DOI":"10.1007\/3-540-18317-5_20","volume-title":"Third International Conference on Functional Programming Languages and Computer Architecture","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., ed. Third International Conference on Functional Programming Languages and Computer Architecture, Portland, Oregon, USA, LNCS 274, Springer-Verlag, pp. 364\u2013384."},{"key":"1_CR10","unstructured":"Harper, R., MacQueen, D., and Milner, R. (1986). Standard ML. Edinburgh University, Internal report ECS-LFCS-86-2."},{"key":"1_CR11","unstructured":"Harvey, B. and Wright, M. (1994). Simply Scheme. MIT Press."},{"issue":"3","key":"1_CR12","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1017\/S0956796800001404","volume":"5","author":"W.A.C.A.J. Hoon de","year":"1995","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. J. Functional Programming, 5(3):383\u2013414, July.","journal-title":"J. Functional Programming"},{"issue":"5","key":"1_CR13","first-page":"1","volume":"27","author":"P. Hudak","year":"1992","unstructured":"Hudak, P., Peyton Jones, S., Wadler, P., et al., (1992). Report on the Programming Language Haskell. ACM SigPlan Notices 27,(5), pp. 1\u2013164.","journal-title":"ACM SigPlan Notices"},{"key":"1_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"Girard, J.-Y. (1987). Linear Logic. Theoretical Computer Science, 50: 1\u2013102, 1987.","journal-title":"Theoretical Computer Science"},{"key":"1_CR15","series-title":"Lect Notes Comput Sci","first-page":"105","volume-title":"Implementation of Functional Languages","author":"J.H.G. Groningen van","year":"1996","unstructured":"Groningen, J.H.G. van (1996). The Implementation and Efficiency of Arrays in Clean 1.1. In Kluge, W., ed. Implementation of Functional Languages (Selected papers of 8th International Workshop, IFL96, Bad Godesberg, Germany). LNCS 1268, pp. 105\u2013124. Springer Verlag."},{"issue":"l","key":"1_CR16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S0956796800001210","volume":"5","author":"M.P. Jones","year":"1995","unstructured":"Jones, M.P. (1995). A system of constructor classes: overloading and implicit higher-order polymorphism, J. Functional Programming, 5(l):1\u201337, January.","journal-title":"J. Functional Programming"},{"key":"1_CR17","unstructured":"Leroy, X. (1995). La systeme Caml Special Light: modules et compilation efficace en Caml Research Report 2721, INRIA, November."},{"key":"1_CR18","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1145\/367177.367199","volume":"4","author":"J. McCarthy","year":"1960","unstructured":"McCarthy J. (1960). Recursive functions of symbolic expressions and their computation by machine. Comm ACM, 4:184\u2013195.","journal-title":"Comm ACM"},{"key":"1_CR19","unstructured":"de Mol M. (1998). Clean Prover System. Master Thesis no. 442, University of Nijmegen, 1998."},{"key":"1_CR20","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1007\/3-540-54152-7_66","volume-title":"Parallel Architectures and Languages Europe","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., et al, eds, Parallel Architectures and Languages Europe, June, Eindhoven, The Netherlands. LNCS 506, Springer-Verlag, pp. 202\u2013219."},{"key":"1_CR21","series-title":"Lect Notes Comput Sci","first-page":"233","volume-title":"Implementation of Functional Languages","author":"M. Pil","year":"1996","unstructured":"Pil, M. (1996). First Class File I\/O. In Kluge, W., ed. Implementation of Functional Languages (Selected papers of 8th International Workshop, IFL96, Bad Godesberg, Germany). LNCS 1268, pp. 233\u2013246. Springer Verlag."},{"key":"1_CR22","unstructured":"Plasmeijer, M.J. and van Eekelen, M.C.J.D. (1993). Functional Programming and Parallel Graph Rewriting. Addison-Wesley."},{"key":"1_CR23","unstructured":"Plasmeijer, M.J. and van Eekelen, M.C.J.D. (1998). Clean 1.3 Language Report. Technical Report, http:\/\/www.cs.kun.nl\/~clean . Nijmegen."},{"key":"1_CR24","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Functional Programming Languages and Computer Architecture","author":"D.A. Turner","year":"1985","unstructured":"Turner, D.A. (1985). Miranda: a non-strict functional language with polymorphic types. In Functional Programming Languages and Computer Architecture, Nancy, France (Jouannaud, J.P., ed.), LNCS 201, pp. 1\u201316. Berlin: Springer-Verlag."},{"issue":"3","key":"1_CR25","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1145\/262009.262011","volume":"29","author":"Ph. Wadler","year":"1997","unstructured":"Wadler, Ph. (1997). How to Declare an Imperative. ACM Computing Surveys, 29(3):240\u2013263.","journal-title":"ACM Computing Surveys"},{"key":"1_CR26","unstructured":"Wiering, M., Achten, P., Plasmeijer, R. (1999). Using Clean for Plastform games. In Koopman, P., ed. Implementation of Functional Languages, 11th International Workshop, IFL99, Lochem, The Netherlands, Internal Report University of Nijmegen, pp. 144\u2013155. A revised paper will appear in the LNCS series on this workshop."}],"container-title":["Lecture Notes in Computer Science","Applications of Graph Transformations with Industrial Relevance"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45104-8_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,27]],"date-time":"2020-04-27T23:40:01Z","timestamp":1588030801000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45104-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540676584","9783540451044"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-45104-8_1","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}