{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:28:03Z","timestamp":1725542883762},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642115028"},{"type":"electronic","value":"9783642115035"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-11503-5_14","type":"book-chapter","created":{"date-parts":[[2010,1,7]],"date-time":"2010-01-07T04:42:16Z","timestamp":1262839336000},"page":"152-166","source":"Crossref","is-referenced-by-count":2,"title":["An Ode to Arrows"],"prefix":"10.1007","author":[{"given":"Hai","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Hudak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"14_CR1","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1017\/S0956796899003366","volume":"9","author":"R.S. Bird","year":"1999","unstructured":"Bird, R.S., Paterson, R.: de Bruijn notation as a nested datatype. J. Funct. Program.\u00a09(1), 77\u201391 (1999)","journal-title":"J. Funct. Program."},{"key":"14_CR2","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1145\/289423.289440","volume-title":"ICFP 1998: International Conference on Functional Programming","author":"P. Bjesse","year":"1998","unstructured":"Bjesse, P., Claessen, K., Sheeran, M., Singh, S.: Lava: Hardware design in haskell. In: ICFP 1998: International Conference on Functional Programming, pp. 174\u2013184. ACM, New York (1998)"},{"key":"14_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/3-540-46674-6_7","volume-title":"Advances in Computing Science - ASIAN\u201999","author":"K. Claessen","year":"1999","unstructured":"Claessen, K., Sands, D.: Observable sharing for functional circuit description. In: Thiagarajan, P.S., Yap, R.H.C. (eds.) ASIAN 1999. LNCS, vol.\u00a01742, pp. 62\u201373. Springer, Heidelberg (1999)"},{"key":"14_CR4","volume-title":"Proc. of the 2001 ACM SIGPLAN Haskell Workshop","author":"A. Courtney","year":"2001","unstructured":"Courtney, A., Elliott, C.: Genuinely functional user interfaces. In: Proc. of the 2001 ACM SIGPLAN Haskell Workshop. ACM, New York (2001)"},{"key":"14_CR5","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1145\/1596550.1596579","volume-title":"ICFP 2009: International Conference on Functional Programming","author":"C.M. Elliott","year":"2009","unstructured":"Elliott, C.M.: Beautiful differentiation. In: ICFP 2009: International Conference on Functional Programming, pp. 191\u2013202. ACM, New York (2009)"},{"key":"14_CR6","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1145\/237721.237792","volume-title":"POPL 1996: the 23th symposium on Principles of Programming Languages","author":"L. Fegaras","year":"1996","unstructured":"Fegaras, L., Sheard, T.: Revisiting catamorphisms over datatypes with embedded functions (or, programs from outer space). In: POPL 1996: the 23th symposium on Principles of Programming Languages, pp. 284\u2013294. ACM, New York (1996)"},{"key":"14_CR7","unstructured":"Ghani, N., Hamana, M., Uustalu, T., Vene, V.: Representing cyclic structures as nested datatypes. In: Proc. of 7th Symposium on Trends in Functional Programming (TFP 2006), pp. 173\u2013188 (2006)"},{"key":"14_CR8","volume-title":"Proc. of the 2009 ACM SIGPLAN Haskell Symposium","author":"A. Gill","year":"2009","unstructured":"Gill, A.: Type-safe observable sharing in Haskell. In: Proc. of the 2009 ACM SIGPLAN Haskell Symposium. ACM, New York (2009)"},{"key":"14_CR9","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/S0167-6423(99)00023-4","volume":"37","author":"J. Hughes","year":"2000","unstructured":"Hughes, J.: Generalising monads to arrows. Science of Computer Programming\u00a037, 67\u2013111 (2000)","journal-title":"Science of Computer Programming"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Karczmarczuk, J.: Functional differentiation of computer programs. In: ICFP 1998: International Conference on Functional Programming, pp. 195\u2013203 (1998)","DOI":"10.1145\/289423.289442"},{"key":"14_CR11","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/j.entcs.2007.10.006","volume":"193","author":"H. Liu","year":"2007","unstructured":"Liu, H., Hudak, P.: Plugging a space leak with an arrow. Electronic Notes in Theoretical Computer Science\u00a0193, 29\u201345 (2007)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"14_CR12","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/1596550.1596559","volume-title":"ICFP 2009: International Conference on Functional Programming","author":"H. Liu","year":"2009","unstructured":"Liu, H., Cheng, E., Hudak, P.: Causal commutative arrows and their optimization. In: ICFP 2009: International Conference on Functional Programming, pp. 35\u201346. ACM, New York (2009)"},{"issue":"5136","key":"14_CR13","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1038\/218019a0","volume":"218","author":"D. Michie","year":"1968","unstructured":"Michie, D.: Memo functions and machine learning. Nature\u00a0218(5136), 19\u201322 (1968)","journal-title":"Nature"},{"key":"14_CR14","volume-title":"Proc. of ACM SIGPLAN 2002 Haskell Workshop","author":"H. Nilsson","year":"2002","unstructured":"Nilsson, H., Courtney, A., Peterson, J.: Functional Reactive Programming, continued. In: Proc. of ACM SIGPLAN 2002 Haskell Workshop. ACM, New York (2002)"},{"key":"14_CR15","first-page":"178","volume-title":"Functional Programming Workshops in Computing","author":"J.T. O\u2019Donnell","year":"1992","unstructured":"O\u2019Donnell, J.T.: Generating netlists from executable circuit specifications in a pure functional language. In: Functional Programming Workshops in Computing, pp. 178\u2013194. Springer, Heidelberg (1992)"},{"key":"14_CR16","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1145\/507635.507664","volume-title":"ICFP 2001: International Conference on Functional Programming","author":"R. Paterson","year":"2001","unstructured":"Paterson, R.: A new notation for arrows. In: ICFP 2001: International Conference on Functional Programming, pp. 229\u2013240. ACM, New York (2001)"},{"key":"14_CR17","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1002\/spe.4380090105","volume":"9","author":"D.A. Turner","year":"1979","unstructured":"Turner, D.A.: A new implementation technique for applicative languages. Software-Practice and Experience\u00a09, 31\u201349 (1979)","journal-title":"Software-Practice and Experience"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11503-5_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T11:53:10Z","timestamp":1619783590000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11503-5_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642115028","9783642115035"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11503-5_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}