{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T12:19:02Z","timestamp":1725711542629},"publisher-location":"London","reference-count":23,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540199144"},{"type":"electronic","value":"9781447135739"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/978-1-4471-3573-9_4","type":"book-chapter","created":{"date-parts":[[2013,1,5]],"date-time":"2013-01-05T06:22:28Z","timestamp":1357366948000},"page":"50-65","source":"Crossref","is-referenced-by-count":0,"title":["Programming Reactive Systems in Haskell"],"prefix":"10.1007","author":[{"given":"Sigbj\u00f8rn","family":"Finne","sequence":"first","affiliation":[]},{"given":"Simon Peyton","family":"Jones","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Peter Achten and Rinus Pasmeijer. Towards Distributed Interactive Programs in the Functional Programming Language Clean. In Implementation of Functional Programming Languages Workshop, University of East-Anglia, Norwich, September 1994."},{"key":"4_CR2","unstructured":"Lennart Augustsson. Functional non-deterministic programming -or- How to make your own oracle. Technical Report ??, Chalmers University of Technology, March 1989."},{"key":"4_CR3","first-page":"538","volume-title":"Proceedings of the 5th ACM Conference on Functional Programming Languages and Computer Architecture, volume 523 of Lecture Notes in Computer Science","author":"PS Barth","year":"1991","unstructured":"Paul S. Barth, Rishiyur S. Nikhil, and Arvind. Non-strict, Functional Language with State. In J. Hughes, editor, Proceedings of the 5th ACM Conference on Functional Programming Languages and Computer Architecture, volume 523 of Lecture Notes in Computer Science, pages 538\u2013568. Springer Verlag, August 1991."},{"issue":"3","key":"4_CR4","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1093\/comjnl\/31.3.243","volume":"31","author":"FW Burton","year":"1988","unstructured":"F. W. Burton. Nondeterminism with Referential Transparency in Functional Programming Languages. Computer Journal, 31 (3): 243\u2013247, June 1988.","journal-title":"Computer Journal"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Magnus Carlsson and Thomas Hallgren. FUDGETS\u2013A Graphical User Interface in a Lazy Functional Language. In ACM\n                Conference on Functional Programming Languages and Computer Architecture, Pages 321\u2013330. ACM Press, 1993.","DOI":"10.1145\/165180.165228"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"William Clinger. Nondeterministic Call by Need is Neither Lazy Nor by Name. In Proceedings of the ACM Conference on Lisp and Functional Programming, pages 226\u2013234, 1982.","DOI":"10.1145\/800068.802154"},{"key":"4_CR7","unstructured":"John Cupitt. The Design and Implementation of an Operating System in a Functional Language. PhD thesis, Department of Computer Science, University of Kent at Canterbury, August 1992."},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Peter Henderson. Purely Functional Operating Systems. In J. Darlington, P. Henderson, and D.A. Turner, editors, Functional Programming and its Applications, pages 177\u2013192. Cambridge University Press, 1982.","DOI":"10.1145\/800068.802148"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Paul Hudak et al. Report on the Programming Language Haskell Version 1.2. ACM SIGPLAN Notices, 27 (5), May 1992.","DOI":"10.1145\/130697.130699"},{"issue":"2","key":"4_CR10","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1093\/comjnl\/32.2.98","volume":"32","author":"J Hughes","year":"1989","unstructured":"John Hughes. Why Functional Programming Matters. Computer Journal, 32 (2): 98\u2013107, April 1989.","journal-title":"Computer Journal"},{"key":"4_CR11","first-page":"308","volume-title":"Kei Davis and John Hughes, editors, Proceedings of the Glasgow Functional Workshop","author":"J Hughes","year":"1989","unstructured":"John Hughes and John O\u2019Donnell. Expressing and Reasoning About Non-deterministic Functional Programs. In Kei Davis and John Hughes, editors, Proceedings of the Glasgow Functional Workshop, pages 308\u2013328, 1989."},{"issue":"2","key":"4_CR12","first-page":"162","volume":"32","author":"SB Jones","year":"1989","unstructured":"Simon B. Jones and A. F. Sinclair. Functional Programming and Operating Systems. Computer Journal, 32 (2): 162\u2013174, April 1989.","journal-title":"April"},{"key":"4_CR13","volume-title":"Proceedings of the ACM Conference on Programming Language Design and Implementation","author":"J Launchbury","year":"1994","unstructured":"John Launchbury and Simon L. Peyton Jones. Lazy Functional State Threads. In Proceedings of the ACM Conference on Programming Language Design and Implementation, June 1994."},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"John Launchbury and Simon L Peyton Jones. State in Haskell. Lisp and Symbolic Computation,1994. to appear.","DOI":"10.1007\/BF01018827"},{"key":"4_CR15","first-page":"33","volume-title":"Computer Programming and Formal Systems","author":"R Noble","year":"1963","unstructured":"John McCarthy. A basic mathematical theory of computation. In P. Braffort and D. Hirschberg, editors, Computer Programming and Formal Systems, pages 33\u201370. North-Holland, Amsterdam, 1963."},{"key":"4_CR16","unstructured":"Rob Noble and Colin Runciman. Concurrent Process Extensions to Gofer. unpublished, September 1994."},{"key":"4_CR17","volume-title":"Proceedings of the 15th Australian Compture Science Conference","author":"Nigel Perry","year":"1992","unstructured":"Nigel Perry. Towards a Concurrent Object\/Process Oriented Functional Language. In Proceedings of the 15th Australian Compture Science Conference, 1992."},{"key":"4_CR18","first-page":"84","volume-title":"ACM Conference on the Principles of Programming Languages, pages 71 \u2014","author":"SLP Jones","year":"1993","unstructured":"Simon L. Peyton Jones and Philip Wadler. Imperative Functional Programming. In ACM Conference on the Principles of Programming Languages, pages 71 \u2014 84. ACM Press, January 1993."},{"key":"4_CR19","first-page":"505","volume":"27","author":"Harald Sondergaard","year":"1990","unstructured":"Harald Sondergaard and Peter Sestoft. Referential Transparency, Definiteness and Unfoldability. Acta Informatica, 27: 505\u2013517, 1990.","journal-title":"Acta Informatica"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"William Stoye. Message-Based Functional Operating Systems. Science of Computer Programming, 6: 291\u2013311, 1986.","DOI":"10.1016\/0167-6423(86)90028-6"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"Philip Wadler. Comprehending Monads. In Proceedings of the ACM SIG-PLAN \u201880 Principles of Programming Languages Conference. ACM Press, June 1990.","DOI":"10.1145\/91556.91592"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Philip Wadler. The essence of functional programming. In Proceedings of the ACM SIGPLAN 19th Annual Symposium on Principles of Programming Languages,January 1992. Invited talk.","DOI":"10.1145\/143165.143169"},{"key":"4_CR23","volume-title":"Glasgow Functional Programming Group Workshop","author":"M Wallace","year":"1994","unstructured":"Malcolm Wallace and Colin Runciman. Type-checked message-passing between functional processes. In John O\u2019Donnell and Kevin Hammond, editors, Glasgow Functional Programming Group Workshop, Ayr, September 1994. Springer Verlag."}],"container-title":["Workshops in Computing","Functional Programming, Glasgow 1994"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3573-9_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,10]],"date-time":"2019-05-10T06:43:43Z","timestamp":1557470623000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3573-9_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540199144","9781447135739"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3573-9_4","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1995]]}}}