{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:48:06Z","timestamp":1742914086170,"version":"3.40.3"},"publisher-location":"London","reference-count":21,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540198208"},{"type":"electronic","value":"9781447132158"}],"license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/978-1-4471-3215-8_1","type":"book-chapter","created":{"date-parts":[[2011,12,17]],"date-time":"2011-12-17T10:34:20Z","timestamp":1324118060000},"page":"1-17","source":"Crossref","is-referenced-by-count":5,"title":["High Level Specification of I\/O in Functional Languages"],"prefix":"10.1007","author":[{"given":"Peter","family":"Achten","sequence":"first","affiliation":[]},{"given":"John","family":"van Groningen","sequence":"additional","affiliation":[]},{"given":"Rinus","family":"Plasmeijer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Achten PM. Operational Semantics of Clean Event I\/O. Technical report - in preparation University of Nijmegen."},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Backus J. Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs.In: Communications of the ACM, Vol.21 Nr. 8, 1978.","DOI":"10.1145\/359576.359579"},{"key":"1_CR3","volume-title":"Turner A (ed) Research topics in Functional Programming, Addison-Wesley Publishing Company","author":"J Backus","year":"1990","unstructured":"Backus J, Williams J, Wimmers E. An introduction to the programming language FL. In: Turner A (ed) Research topics in Functional Programming, Addison-Wesley Publishing Company, 1990."},{"key":"1_CR4","first-page":"141","volume-title":"Proceedings of Parallel Architectures and Languages Europe, Eindhoven, The Netherlands, LNCS 259","author":"HP Barendregt","year":"1990","unstructured":"Barendregt HP, Eekelen van MCJD, Glauwert JRW et al. `Term Graph Reduction\u2019. In: Proceedings of Parallel Architectures and Languages Europe, Eindhoven, The Netherlands, LNCS 259, Vol. II. Springer-Verlag, Berlin, 1990, pp. 141\u2013158."},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Brus T, Eekelen van MCJD, Plasmeijer MJ and Barendregt HP. Clean\u2013A Language for Functional Graph Rewriting. In: Proc. of Conference on Functional Programming Languages and Computer Architecture, Portland, Oregon, USA, Springer Verlag, LNCS 274, 1987, pp. 364\u2013384.","DOI":"10.1007\/3-540-18317-5_20"},{"key":"1_CR6","volume-title":"Technical report","author":"MCJD Eekelen","year":"1992","unstructured":"Eekelen van MCJD, Huitema HS, N\u00f6cker EGJMH, Smetsers JEW and Plasmeijer MJ. Concurrent Clean Language Manual - version 0.8. Technical report No. 92\u201318 Department of Informatics, Faculty of Mathematics and Informatics, University of Nijmegen 1992."},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Girard J-Y. Linear Logic. In: Theoretical Computer Science 50. 1987, pp. 1\u2013102.","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"1_CR8","unstructured":"Groningen van JHG, N\u00f6cker EGJMH and Smetsers JEW. Efficient Heap Management in the Concrete ABC Machine. In: Proc. of Third International Workshop on Implementation of Functional Languages on Parallel Architectures. University of Southampton, UK 1991. Technical Report Series CSTR91\u201307."},{"key":"1_CR9","unstructured":"Darlington P. Purely Functional Operating Systems. In: Darlington, Henderson, Turner (ed) Functional programming and its applications."},{"key":"1_CR10","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. of ACM 1989. pp. 371\u2013381."},{"key":"1_CR11","volume-title":"Turner DA (ed) Research topics in Functional Programming. Addison-Wesley Publishing Company","author":"J Hughes","year":"1990","unstructured":"Hughes J. Why Functional Programming Matters. In: Turner DA (ed) Research topics in Functional Programming. Addison-Wesley Publishing Company, 1990."},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"N\u00f6cker EGJMH, Smetsers JEW, Eekelen van MCJD and Plasmeijer MJ. Concurrent Clean. In: Proc. of Parallel Architectures and Languages Europe, Eindhoven, The Netherlands. Springer Verlag, LNCS 505. 1990. pp. 202\u2013219.","DOI":"10.1007\/3-540-54152-7_66"},{"key":"1_CR13","unstructured":"Perry N. Functional I\/O - a solution. Department of Computing, Imperial College, London, Draft version, July 1988."},{"key":"1_CR14","volume-title":"Imperative Functional Programming","author":"SL Peyton","year":"1993","unstructured":"Peyton Jones SL, Wadler Ph. Imperative Functional Programming. Extended Abstract, to appear in POPL 1993, University of Glasgow."},{"key":"1_CR15","unstructured":"Pillich L. Portable Clean Event I\/O. Department of informatics, Faculty of Mathematics and Informatics, University of Nijmegen. Master Thesis 230, July 1992."},{"key":"1_CR16","volume-title":"University of Nijmegen 1991\/1992","author":"MJ Plasmeijer","year":"1993","unstructured":"Plasmeijer MJ, Eekelen van MCJD. Functional Programming and Parallel Graph Rewriting. Lecture notes. University of Nijmegen 1991\/1992. To appear: Addison Wesley 1993."},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Smetsers JEW, N\u00f6cker EGJMH, Groningen van JHG and Plasmeijer MJ. Generating Efficient Code for Lazy Functional Languages. In: Proc. of Conference on Functional Programming Languages and Computer Architecture Cambridge, MA, USA, Springer Verlag, LNCS 523, 1991, pp. 592\u2013617.","DOI":"10.1007\/3540543961_28"},{"key":"1_CR18","unstructured":"Smetsers JEW, Achten PM, Eekelen van MCJD and Plasmeijer MJ. An Unique Type Predicate and its Application for Efficient Code Generation for Functional Languages. Technical report - in preparation. University of Nijmegen."},{"key":"1_CR19","volume-title":"Research topics in Functional Programming","author":"S Thompson","year":"1990","unstructured":"Thompson S. Interactive Functional Programs. A Method and a Formal Semantics. In: Turner DA (ed) Research topics in Functional Programming, Addison-Wesley Publishing Company, University of Kent, 1990."},{"key":"1_CR20","volume-title":"Research topics in Functional Programming","author":"DA Turner","year":"1990","unstructured":"Turner DA. An Approach to Functional Operating Systems. In: Turner DA (ed) Research topics in Functional Programming, Addison-Wesley Publishing Company, University of Kent, 1990."},{"key":"1_CR21","volume-title":"Broy M","author":"P Wadler","year":"1990","unstructured":"Wadler Ph. Linear types can change the world! In: Broy M, Jones CB (ed) Programming Concepts and Methods, North-Holland, 1990."}],"container-title":["Workshops in Computing","Functional Programming, Glasgow 1992"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3215-8_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,11]],"date-time":"2023-02-11T12:33:32Z","timestamp":1676118812000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4471-3215-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540198208","9781447132158"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3215-8_1","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1993]]}}}