{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T00:49:00Z","timestamp":1725583740607},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642207747"},{"type":"electronic","value":"9783642207754"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-20775-4_8","type":"book-chapter","created":{"date-parts":[[2011,5,21]],"date-time":"2011-05-21T01:38:36Z","timestamp":1305941916000},"page":"137-154","source":"Crossref","is-referenced-by-count":6,"title":["Efficient and Compositional Higher-Order Streams"],"prefix":"10.1007","author":[{"given":"Gergely","family":"Patai","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1145\/1017753.1017792","volume-title":"Proceedings of the 4th ACM International Conference on Embedded Software","author":"J.-L. Cola\u00e7o","year":"2004","unstructured":"Cola\u00e7o, J.-L., Girault, A., Hamon, G., Pouzet, M.: Towards a Higher-Order Synchronous Data-Flow Language. In: Proceedings of the 4th ACM International Conference on Embedded Software, Pisa, Italy, pp. 230\u2013239. ACM, New York (2004)"},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1007\/11693024_20","volume-title":"Programming Languages and Systems","author":"G.H. Cooper","year":"2006","unstructured":"Cooper, G.H., Adsul, B.: Embedding dynamic dataflow in a call-by-value language. In: Sestoft, P. (ed.) ESOP 2006. LNCS, vol.\u00a03924, pp. 294\u2013308. Springer, Heidelberg (2006)"},{"key":"8_CR3","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1145\/871895.871897","volume-title":"Proceedings of the 2003 ACM SIGPLAN Haskell Workshop (Haskell 2003)","author":"A. Courtney","year":"2003","unstructured":"Courtney, A., Nilsson, H., Peterson, J.: The Yampa Arcade. In: Proceedings of the 2003 ACM SIGPLAN Haskell Workshop (Haskell 2003), pp. 7\u201318. ACM Press, New York (2003)"},{"key":"8_CR4","unstructured":"Elliott, C.: Denotational design with type class morphisms, extended version (2009), http:\/\/conal.net\/papers\/type-class-morphisms\/"},{"key":"8_CR5","first-page":"25","volume-title":"Haskell 2009: Proceedings of the 2nd ACM SIGPLAN symposium on Haskell","author":"C. Elliott","year":"2009","unstructured":"Elliott, C.: Push-pull functional reactive programming. In: Haskell 2009: Proceedings of the 2nd ACM SIGPLAN symposium on Haskell, Edinburgh, Scotland, pp. 25\u201336. ACM, New York (2009)"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Elliott, C., Hudak, P.: Functional reactive animation. In: International Conference on Functional Programming, pp. 263\u2013273 (June 1997)","DOI":"10.1145\/258949.258973"},{"key":"8_CR7","unstructured":"Erk\u00f6k, L.: Value Recursion in Monadic Computations. PhD Dissertation, Oregon Graduate Institute School of Science Engineering, OHSU (October 2002)"},{"issue":"9","key":"8_CR8","doi-asserted-by":"publisher","first-page":"1305","DOI":"10.1109\/5.97300","volume":"79","author":"N. Halbwachs","year":"1991","unstructured":"Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The Synchronous Data-Flow Programming Language LUSTRE. Proceedings of the IEEE\u00a079(9), 1305\u20131320 (1991)","journal-title":"Proceedings of the IEEE"},{"key":"8_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"G. Kiczales","year":"1997","unstructured":"Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C.: Aspect-oriented programming. In: Liu, Y., Auletta, V. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 220\u2013242. Springer, Heidelberg (1997)"},{"key":"8_CR10","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1145\/1596550.1596559","volume-title":"Proceedings of the 14th ACM SIGPLAN International Conference on Functional Programming","author":"H. Liu","year":"2009","unstructured":"Liu, H., Cheng, E., Hudak, P.: Causal Commutative Arrows and Their Optimization. In: Proceedings of the 14th ACM SIGPLAN International Conference on Functional Programming, Edinburgh, Scotland, pp. 35\u201346. ACM, New York (2009)"},{"key":"8_CR11","unstructured":"McBride, C.: The Strathclyde Haskell Enhancement (2009), http:\/\/personal.cis.strath.ac.uk\/~conor\/pub\/she\/"},{"issue":"1","key":"8_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0956796807006326","volume":"18","author":"C. McBride","year":"2008","unstructured":"McBride, C., Paterson, R.: Applicative programming with effects. Journal of Functional Programming\u00a018(1), 1\u201313 (2008)","journal-title":"Journal of Functional Programming"},{"key":"8_CR13","unstructured":"Patai, G.: Eventless Reactivity from Scratch. In: Moraz\u00e1n, M.T. (ed.) Draft Proceedings of the 21st International Symposium on Implementation and Application of Functional Languages, South Orange, NJ, USA, pp. 126\u2013140. Seton Hall University (2009)"},{"key":"8_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/11894100_5","volume-title":"Central European Functional Programming School","author":"T. Uustalu","year":"2006","unstructured":"Uustalu, T., Vene, V.: The Essence of Dataflow Programming. In: Horv\u00e1th, Z. (ed.) CEFP 2005. LNCS, vol.\u00a04164, pp. 135\u2013167. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Functional and Constraint Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20775-4_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,23]],"date-time":"2021-11-23T16:43:48Z","timestamp":1637685828000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20775-4_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642207747","9783642207754"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20775-4_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}