{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:16Z","timestamp":1761611296963},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540541523"},{"type":"electronic","value":"9783540474722"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54152-7_66","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:32:59Z","timestamp":1330209179000},"page":"202-219","source":"Crossref","is-referenced-by-count":36,"title":["Concurrent clean"],"prefix":"10.1007","author":[{"given":"E. G. J. M. H.","family":"N\u00f6cker","sequence":"first","affiliation":[]},{"given":"J. E. W.","family":"Smetsers","sequence":"additional","affiliation":[]},{"given":"M. C. J. D.","family":"Eekelen","sequence":"additional","affiliation":[]},{"given":"M. J.","family":"Plasmeijer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Augustsson L., Johnsson T. (1989), \u2018The Chalmers Lazy-ML Compiler', The Computer Journal, Vol. 32, No. 2 1989.","DOI":"10.1093\/comjnl\/32.2.127"},{"key":"12_CR2","first-page":"141","volume":"259","author":"H.P. Barendregt","year":"1987","unstructured":"Barendregt, H.P., Eekelen, M.C.J.D. van, Glauert, J.R.W., Kennaway, J.R., Plasmeijer, M.J., Sleep, M.R., (1987a), \u2018Term Graph Reduction', Proceedings of Parallel Architectures and Languages Europe (PARLE), part II, Eindhoven, The Netherlands, LNCS Vol. 259, pp. 141\u2013158, June 1987.","journal-title":"LNCS"},{"key":"12_CR3","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/3-540-17945-3_9","volume":"259","author":"H.P. Barendregt","year":"1987","unstructured":"Barendregt, H.P., Eekelen, M.C.J.D. van, Glauert, J.R.W., Kennaway, J.R., Plasmeijer, M.J., Sleep, M.R., (1987b). Towards an Intermediate Language based on Graph Rewriting. Proceedings of Parallel Architectures and Languages Europe (PARLE), part II, Eindhoven, The Netherlands. Springer Lec. Notes Comp. Sci. 259, 159\u2013175.","journal-title":"Springer Lec. Notes Comp. Sci."},{"key":"12_CR4","unstructured":"Barendregt, H.P., Eekelen, M.C.J.D. van, Plasmeijer, M.J., Hartel, P.H., Hertzberger, L.O., Vree, W.G., (1987), \u2018The Dutch Parallel Reduction Machine Project', Intern. Conf. on Frontiers in Computing, Amsterdam, Dec. 1987."},{"key":"12_CR5","unstructured":"Barendregt, H.P., Eekelen, M.C.J.D. van, Glauert, J.R.W., Kennaway, J.R., Plasmeijer, M.J., Sleep, M.R. (1988). \u2018Towards an Intermediate Language based on Graph Rewriting'. Revised version. Journal of Parallel Computing 9 with selected papers of the conference on Parallel Architectures and Languages Europe (PARLE), Eindhoven, The Netherlands. North-Holland 163\u2013177."},{"key":"12_CR6","doi-asserted-by":"crossref","first-page":"364","DOI":"10.1007\/3-540-18317-5_20","volume":"274","author":"T. Brus","year":"1987","unstructured":"Brus, T., Eekelen, M.C.J.D. van, Leer, M. van, Plasmeijer, M.J. (1987). Clean \u2014 A Language for Functional Graph Rewriting. Proc. of the Third International Conference on Functional Programming Languages and Computer Architecture (FPCA '87), Portland, Oregon, USA, Springer Lec. Notes on Comp.Sci. 274, 364\u2013384.","journal-title":"Springer Lec. Notes on Comp.Sci."},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Burstall, R.M., MacQueen, D.B., and Sanella, D.T. (1980). Hope: An Experimental Applicative Language. Proceedings of the 1980 LISP Conference, 136\u2013143.","DOI":"10.1145\/800087.802799"},{"key":"12_CR8","unstructured":"Eekelen, M.C.J.D. van, (1988). Parallel Graph Rewriting, Some Contributions to its Theory, its Implementation and its Application. University of Nijmegen. Ph.D. Thesis."},{"key":"12_CR9","unstructured":"Eekelen, M.C.J.D. van, Plasmeijer, M.J., Smetsers, J.E.W., (1989b). Communicating Functional Processes. University of Nijmegen. Technical Report 89-3."},{"key":"12_CR10","unstructured":"Eekelen M.C.J.D. van, N\u00f6cker E.G.J.M.H., Plasmeijer M.J., Smetsers J.E.W., (1990). \u2018Concurrent Clean, version 0.6', Technical Report 90-21, University of Nijmegen, December 1990."},{"key":"12_CR11","unstructured":"Eekelen, M.C.J.D. van, Plasmeijer, M.J., Smetsers, J.E.W., (1991). \u2018Parallel Graph Rewriting on Loosely Coupled Machine Architectures\u2019 proceedings of the workshop on CTRS'90. Montreal Canada. To appear in 1991."},{"key":"12_CR12","unstructured":"Eekelen, M.C.J.D. van, Plasmeijer, M.J., (1990). \u2018Concurrent Functional Programming'. Proceedings of the conference on Unix & Parallelism, NLUUG, may 1990, pp 75\u201398."},{"key":"12_CR13","unstructured":"Glauert, J.R.W., Kennaway, J.R., Sleep, M.R., (1987), \u2018DACTL: A Computational Model and Compiler Target Language Based on Graph Reduction', ICL Technical Journal, May 1987."},{"key":"12_CR14","unstructured":"Groningen J. van. (1990). \u2018Implementing the ABC-machine on M680\u00d70 based architectures'. Master Thesis, University of Nijmegen, November 1990."},{"key":"12_CR15","unstructured":"Johnsson Th. (1987). \u2018Compiling Lazy Functional Programming languages'. Dissertation at Chalmers University, G\u00f6tenborg, Sweden. ISBN 91-7032-280-5."},{"key":"12_CR16","unstructured":"Kesseler M., (1990), \u2018Concurrent Clean on Transputers', Master Thesis, University of Nijmegen, November 1990."},{"key":"12_CR17","unstructured":"Koopman, P.W.M., N\u00f6cker, E.G.J.M.H. (1988), \u2018Compiling functional languages to Term Graph Rewriting Systems'. Technical Report 88-1, University of Nijmegen."},{"key":"12_CR18","unstructured":"Koopman P.W.M., Eekelen M.C.J.D. van, N\u00f6cker E.G.J.M.H., Smetsers S., Plasmeijer M.J. (1990). \u2018The ABC-machine: A Sequential Stack-based Abstract Machine For Graph Rewriting'. Technical Report, University of Nijmegen."},{"key":"12_CR19","unstructured":"McBurney, D, Sleep, R. (1990), \u2018Concurrent Clean on Zapp', Proceedings of the Second International Workshop on Implementations of Functional Languages on Distributed Architectures, University of Nijmegen, November 1990."},{"issue":"3","key":"12_CR20","doi-asserted-by":"crossref","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"R.A. Milner","year":"1978","unstructured":"Milner, R.A. (1978). Theory of Type Polymorphism in Programming. Journal of Computer and System Sciences, Vol. 17, no. 3, 348\u2013375.","journal-title":"Journal of Computer and System Sciences"},{"key":"12_CR21","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1007\/3-540-12925-1_41","volume":"167","author":"A. Mycroft","year":"1984","unstructured":"Mycroft, A. (1984). Polymorphic type schemes and recursive definitions. Proc. of the 6th Int. Conf. on Programming, Springer Lec. Notes Comp. Sci. 167, 217\u2013228.","journal-title":"Springer Lec. Notes Comp. Sci."},{"key":"12_CR22","unstructured":"N\u00f6cker E.G.J.M.H., (1989). \u2018The PABC Simulator, v0.5. Implementation Manual'. University of Nijmegen, Technical Report 89-19."},{"key":"12_CR23","unstructured":"N\u00f6cker E.G.J.M.H. (1990). 'strictness Analysis based on Abstract Reduction', in Proceedings of the Second International Workshop on Implementation of Functional Languages on Parallel Architectures, pp. 297\u2013321, Technical Report no. 90-16, October 1990, University of Nijmegen."},{"key":"12_CR24","unstructured":"N\u00f6cker E.G.J.M.H., Smetsers J.E.W., (1990). \u2018Partially Strict Data Types', Proceedings of the Second International Workshop on Implementations of Functional Languages on Distributed Architectures, University of Nijmegen, November 1990."},{"key":"12_CR25","doi-asserted-by":"crossref","unstructured":"Peyton Jones S.L, Salkild J. (1989). \u2018The Spineless Tagless G-machine'. Proceedings of the Conference on Functional Programming Languages and Computer Architectures, Addison Wesley, pp 184\u2013201.","DOI":"10.1145\/99370.99385"},{"key":"12_CR26","unstructured":"Plasmeijer, M.J., Eekelen, M.C.J.D. van (1989). Functional Programming and Parallel Graph Rewriting. Lecture notes, University of Nijmegen, to appear at Addison Wesley 1991."},{"key":"12_CR27","unstructured":"Smetsers J.E.W., (1989). \u2018Compiling Clean to Abstract ABC-Machine Code'. University of Nijmegen, Technical Report 89-20."},{"key":"12_CR28","unstructured":"Smetsers, J.E.W., Eekelen, M.C.J.D. van, Plasmeijer, M.J., (1991). Operational semantics of Concurrent Clean. University of Nijmegen. Technical Report: in preparation."},{"key":"12_CR29","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-15975-4_26","volume":"201","author":"D.A. Turner","year":"1985","unstructured":"Turner D.A. (1985), \u2018Miranda: A non-strict functional language with polymorphic types'. Proc. of the conference on Functional Programming Languages and Computer Architecture, Springer Lec. Notes Comp. Sci. 201, 1\u201316.","journal-title":"Springer Lec. Notes Comp. Sci."}],"container-title":["Lecture Notes in Computer Science","PARLE '91 Parallel Architectures and Languages Europe"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54152-7_66.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:20:03Z","timestamp":1619572803000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54152-7_66"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540541523","9783540474722"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-54152-7_66","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}