{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:51:57Z","timestamp":1725475917108},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540678649"},{"type":"electronic","value":"9783540446583"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10722298_7","type":"book-chapter","created":{"date-parts":[[2006,12,29]],"date-time":"2006-12-29T20:43:10Z","timestamp":1167424990000},"page":"115-130","source":"Crossref","is-referenced-by-count":2,"title":["The Implementation of Interactive Local State Transition Systems in Clean"],"prefix":"10.1007","author":[{"given":"Peter","family":"Achten","sequence":"first","affiliation":[]},{"given":"Rinus","family":"Plasmeijer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","first-page":"1","volume-title":"Proceedings Glasgow Workshop on Functional Programming, Workshops in Computing","author":"P.M. Achten","year":"1992","unstructured":"Achten, P.M., van Groningen, J.H.G., Plasmeijer, M.J.: High Level Specification of I\/O in Functional Languages. In: Launchbury, J., Sansom, P. (eds.) Proceedings Glasgow Workshop on Functional Programming, Workshops in Computing, Ayr, Scotland, July 6-8, pp. 1\u201317. Springer, Berlin (1992)"},{"issue":"1","key":"7_CR2","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1017\/S0956796800001258","volume":"5","author":"P.M. Achten","year":"1995","unstructured":"Achten, P.M., Plasmeijer, M.J.: The ins and outs of Clean I\/O. Journal of Functional Programming\u00a05(1), 81\u2013110 (1995)","journal-title":"Journal of Functional Programming"},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1007\/BFb0055438","volume-title":"Implementation of Functional Languages","author":"P.M. Achten","year":"1998","unstructured":"Achten, P.M., Plasmeijer, M.J.: Interactive Functional Objects in Clean. In: Clack, C., Hammond, K., Davie, T. (eds.) IFL 1997. LNCS, vol.\u00a01467, pp. 304\u2013321. Springer, Heidelberg (1998)"},{"key":"7_CR4","unstructured":"Achten, P.M., Wierich, M.: A Tutorial to the Clean Object I\/O Library - version 1.1. Internal Report, Department of Functional Programming, University of Nijmegen, The Netherlands (1999), Available on Internet: ftp:\/\/ftp.cs.kun.nl\/pub\/Clean\/supported\/ObjectIO\/doc\/tutorial.11.ps.gz."},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Barendsen, E., Smetsers, J.E.W.: Uniqueness Type Inference. In: [10], pp. 189\u2013206","DOI":"10.1007\/BFb0026821"},{"key":"7_CR6","unstructured":"Bj\u00f8rner, D., Broy, M., Pottosin, I.V. (eds.): PSI 1996. LNCS, vol.\u00a01181. Springer, Heidelberg (1996)"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"364","DOI":"10.1007\/3-540-18317-5_20","volume-title":"Functional Programming Languages and Computer Architecture","author":"T. Brus","year":"1987","unstructured":"Brus, T., van Eekelen, M.C.J.D., Leer, M.O., Plasmeijer, M.J.: Clean: A Language for Functional Graph Rewriting. In: Kahn, G. (ed.) FPCA 1987. LNCS, vol.\u00a0274, pp. 364\u2013384. Springer, Heidelberg (1987)"},{"key":"7_CR8","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1145\/165180.165228","volume-title":"Proceedings of Conference on Functional Programming Languages and Computer Architecture","author":"M. Carlsson","year":"1993","unstructured":"Carlsson, M., Hallgren, T.: FuDGETS - A Graphical User Interface in a Lazy Functional Language. In: Proceedings of Conference on Functional Programming Languages and Computer Architecture, Copenhagen, Denmark, June 9-11, pp. 321\u2013330. ACM Press, New York (1993)"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Frauenstein, T., Grieskamp, W., Pepper, P., S\u00fcdholt.: Communicating Functional Agents and Their Application to Graphical User Interfaces. In: [6], pp. 386\u2013397","DOI":"10.1007\/3-540-62064-8_32"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"Programming Languages: Implementations, Logics and Programs","year":"1995","unstructured":"Hermenegildo, M., Swierstra, S.D. (eds.): PLILP 1995. LNCS, vol.\u00a0982. Springer, Heidelberg (1995)"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Jones, M.P.: A system of constructor classes: overloading and implicit higher-order polymorphism. In: Proceedings of Conference on Functional Programming Languages and Computer Architecture, Copenhagen, Denmark, June 9-11, pp. 52\u201361. ACM Press, New York (1993)","DOI":"10.1145\/165180.165190"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Noble, R., Runciman, C.: Gadgets: Lazy Functional Components for Graphical User Interfaces. In: [10], pp. 321-340","DOI":"10.1007\/BFb0026828"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"N\u00f6cker, E.G.J.M.H., Smetsers, J.E.W., van Eekelen, M.C.J.D., Plasmeijer, M.J.: Concurrent Clean. In: Aarts, E.H.L., van Leeuwen, J., Rem, M. (eds.) PARLE 1991. LNCS, vol.\u00a0506, pp. 202\u2013219. Springer, Heidelberg (1991)","DOI":"10.1007\/3-540-54152-7_66"},{"key":"7_CR14","volume-title":"Functional Programming and Parallel Graph Rewriting","author":"M.J. Plasmeijer","year":"1993","unstructured":"Plasmeijer, M.J., van Eekelen, M.C.J.D.: Functional Programming and Parallel Graph Rewriting. Addison-Wesley Publishing Company, Reading (1993)"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1007\/3-540-61756-6_97","volume-title":"Programming Languages: Implementations, Logics, and Programs","author":"E. Scholz","year":"1996","unstructured":"Scholz, E.: PlDGETS - Unifying Pictures and Widgets in a Constraint-Based Framework for Concurrent GUI Programming. In: Kuchen, H., Swierstra, S.D. (eds.) PLILP 1996. LNCS, vol.\u00a01140, pp. 363\u2013377. Springer, Heidelberg (1996)"},{"key":"7_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"358","DOI":"10.1007\/3-540-57787-4_23","volume-title":"Graph Transformations in Computer Science","author":"J.E.W. Smetsers","year":"1994","unstructured":"Smetsers, J.E.W., Barendsen, E., van Eekelen, M.C.J.D., Plasmeijer, M.J.: Guaranteeing Safe Destructive Updates through a Type System with Uniqueness Information for Graphs. In: Ehrig, H., Schneider, H.-J. (eds.) Dagstuhl Seminar 1993. LNCS, vol.\u00a0776, pp. 358\u2013379. Springer, Heidelberg (1994)"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Vullinghs, T., Schulte, W., Schwinn, T.: The Design of a Functional GUI Library Using Constructor Classes. In: [6], pp. 398\u2013408","DOI":"10.1007\/3-540-62064-8_33"}],"container-title":["Lecture Notes in Computer Science","Implementation of Functional Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10722298_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,23]],"date-time":"2019-04-23T07:47:26Z","timestamp":1556005646000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10722298_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540678649","9783540446583"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/10722298_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}