{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:22:02Z","timestamp":1725456122349},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540603597"},{"type":"electronic","value":"9783540450481"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0026835","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T10:29:45Z","timestamp":1132396185000},"page":"450-452","source":"Crossref","is-referenced-by-count":0,"title":["A functional framework for deterministically interleaved interactive programs"],"prefix":"10.1007","author":[{"given":"Peter","family":"Achten","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,16]]},"reference":[{"key":"27_CR1","first-page":"1","volume-title":"Workshops in Computing","author":"P.M. Achten","year":"1993","unstructured":"Achten, P.M., Groningen J.H.G. van, and Plasmeijer, M.J. High Level Specification of I\/O in Functional Languages. In Launchbury, J., Sansom, P. eds. Proc. Glasgow Workshop on Functional Programming, Ayr, Scotland, 6\u20138 July 1992, Workshops in Computing, Springer-Verlag, Berlin, 1993, pp. 1\u201317."},{"doi-asserted-by":"crossref","unstructured":"Achten, P.M. and Plasmeijer, M.J. The ins and outs of Clean I\/O. In Journal of Functional Programming 5(1), January 1995, Cambridge University Press, pp. 81\u2013110.","key":"27_CR2","DOI":"10.1017\/S0956796800001258"},{"key":"27_CR3","first-page":"41","volume-title":"LNCS 761","author":"E. Barendsen","year":"1993","unstructured":"Barendsen, E. and Smetsers, J.E.W. Conventional and Uniqueness Typing in Graph Rewrite Systems. In Shyamasundar, R.K. ed. Proc. 13th Conf. on the Foundations of Software Technology and Theoretical Computer Science, 15\u201317 December 1993, Bombay, India, LNCS 761, Springer-Verlag, Berlin, pp. 41\u201351."},{"key":"27_CR4","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, Plasmeijer, M.J., and Barendregt, H.P. Clean: A Language for Functional Graph Rewriting. In Kahn. G. ed. Proc. 3rd International Conf. on Functional Programming Languages and Computer Architecture, 1987, Portland, Oregon, USA, LNCS 274, Springer-Verlag, pp. 364\u2013384."},{"key":"27_CR5","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. Fudgets \u2014 A Graphical User Interface in a Lazy Functional Language. In Proc. Conf. on Functional Programming Languages and Computer Architecture, Copenhagen, Denmark, 9\u201311 June 1993, ACM Press, pp. 321\u2013330."},{"key":"27_CR6","first-page":"371","volume-title":"Functions and Dynamic User Interfaces","author":"A. Dwelly","year":"1989","unstructured":"Dwelly, A. Functions and Dynamic User Interfaces. In Proc. 4th International Conf. on Functional Programming Languages and Computer Architectures, Imperial College, London, September 11\u201313, 1989, pp. 371\u2013381."},{"unstructured":"Plasmeijer, M.J. and Eekelen, M.C.J.D. van. Functional Programming and Parallel Graph Rewriting. Addison-Wesley Publishing Company 1993.","key":"27_CR7"},{"unstructured":"Turner, D.A. An Approach to Functional Operating Systems. In Turner, D.A. ed. Research topics in Functional Programming, Addison-Wesley Publishing Company 1990, pp. 199\u2013217.","key":"27_CR8"}],"container-title":["Lecture Notes in Computer Science","Programming Languages: Implementations, Logics and Programs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0026835","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T01:53:24Z","timestamp":1586570004000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0026835"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540603597","9783540450481"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/bfb0026835","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}