{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:47:14Z","timestamp":1725893234229},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642344060"},{"type":"electronic","value":"9783642344077"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34407-7_6","type":"book-chapter","created":{"date-parts":[[2012,11,5]],"date-time":"2012-11-05T19:58:14Z","timestamp":1352145494000},"page":"85-99","source":"Crossref","is-referenced-by-count":24,"title":["Generic Monadic Constructs for Embedded Languages"],"prefix":"10.1007","author":[{"given":"Anders","family":"Persson","sequence":"first","affiliation":[]},{"given":"Emil","family":"Axelsson","sequence":"additional","affiliation":[]},{"given":"Josef","family":"Svenningsson","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"unstructured":"Feldspar compiler, \n                  \n                    http:\/\/hackage.haskell.org\/package\/feldspar-compiler","key":"6_CR1"},{"unstructured":"Feldspar language, \n                  \n                    http:\/\/hackage.haskell.org\/package\/feldspar-language","key":"6_CR2"},{"unstructured":"Syntactic library, \n                  \n                    http:\/\/hackage.haskell.org\/package\/syntactic","key":"6_CR3"},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-642-24276-2_8","volume-title":"Implementation and Application of Functional Languages","author":"E. Axelsson","year":"2011","unstructured":"Axelsson, E., Claessen, K., Sheeran, M., Svenningsson, J., Engdal, D., Persson, A.: The Design and Implementation of Feldspar \u2013 an Embedded Language for Digital Signal Processing. In: Hage, J., Moraz\u00e1n, M.T. (eds.) IFL. LNCS, vol.\u00a06647, pp. 121\u2013136. Springer, Heidelberg (2011)"},{"doi-asserted-by":"crossref","unstructured":"Axelsson, E., D\u00e9vai, G., Horv\u00e1th, Z., Keijzer, K., Lyckeg\u00e5rd, B., Persson, A., Sheeran, M., Svenningsson, J., Vajda, A.: Feldspar: A Domain Specific Language for Digital Signal Processing algorithms. In: Proc. Eighth ACM\/IEEE International Conference on Formal Methods and Models for Codesign, MemoCode. IEEE Computer Society (2010)","key":"6_CR5","DOI":"10.1109\/MEMCOD.2010.5558637"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"402","DOI":"10.1007\/978-3-642-32096-5_8","volume-title":"Central European Functional Programming School","author":"E. Axelsson","year":"2012","unstructured":"Axelsson, E., Sheeran, M.: Feldspar: Application and Implementation. In: Zs\u00f3k, V., Horv\u00e1th, Z., Plasmeijer, R. (eds.) CEFP 2012. LNCS, vol.\u00a07241, pp. 402\u2013439. Springer, Heidelberg (2012)"},{"issue":"3","key":"6_CR7","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1017\/S0956796802004574","volume":"13","author":"C. Elliott","year":"2003","unstructured":"Elliott, C., Finne, S., de Moor, O.: Compiling embedded languages. Journal of Functional Programming\u00a013(3), 455\u2013481 (2003)","journal-title":"Journal of Functional Programming"},{"key":"6_CR8","first-page":"134","volume-title":"ICSR 1998: Proceedings of the 5th International Conference on Software Reuse","author":"P. Hudak","year":"1998","unstructured":"Hudak, P.: Modular domain specific languages and tools. In: ICSR 1998: Proceedings of the 5th International Conference on Software Reuse, p. 134. IEEE Computer Society, Washington, DC (1998)"},{"unstructured":"Hughes, J.: Restricted data types in Haskell. In: Proceedings of the 1999 Haskell Workshop (1999)","key":"6_CR9"},{"key":"6_CR10","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1145\/2034675.2034685","volume-title":"Proceedings of the 4th ACM Symposium on Haskell, Haskell 2011","author":"S. Marlow","year":"2011","unstructured":"Marlow, S., Newton, R., Peyton Jones, S.: A monad for deterministic parallelism. In: Proceedings of the 4th ACM Symposium on Haskell, Haskell 2011, pp. 71\u201382. ACM, New York (2011), \n                  \n                    http:\/\/doi.acm.org\/10.1145\/2034675.2034685"},{"doi-asserted-by":"crossref","unstructured":"Pfenning, F., Elliott, C.: Higher-order abstract syntax. In: Proceedings of the ACM SIGPLAN 1988 Conference on Programming Language Design and Implementation, PLDI 1988, pp. 199\u2013208. ACM (1988)","key":"6_CR11","DOI":"10.1145\/960116.54010"},{"doi-asserted-by":"crossref","unstructured":"Schrijvers, T., Peyton Jones, S., Sulzmann, M., Vytiniotis, D.: Complete and decidable type inference for GADTs. In: Proc. 14th ACM SIGPLAN International Conference on Functional Programming, pp. 341\u2013352. ACM (2009)","key":"6_CR12","DOI":"10.1145\/1596550.1596599"},{"issue":"4","key":"6_CR13","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1017\/S0956796808006758","volume":"18","author":"W. Swierstra","year":"2008","unstructured":"Swierstra, W.: Data types \u00e0 la carte. Journal of Functional Programming\u00a018(4), 423\u2013436 (2008)","journal-title":"Journal of Functional Programming"},{"unstructured":"Wadler, P.: The expression problem (1998), \n                  \n                    http:\/\/www.daimi.au.dk\/~madst\/tool\/papers\/expression.txt","key":"6_CR14"},{"key":"6_CR15","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1145\/91556.91592","volume-title":"Proceedings of the 1990 ACM Conference on LISP and Functional Programming, LFP 1990","author":"P. Wadler","year":"1990","unstructured":"Wadler, P.: Comprehending monads. In: Proceedings of the 1990 ACM Conference on LISP and Functional Programming, LFP 1990, pp. 61\u201378. ACM, New York (1990), \n                  \n                    http:\/\/doi.acm.org\/10.1145\/91556.91592"}],"container-title":["Lecture Notes in Computer Science","Implementation and Application of Functional Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34407-7_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T08:52:48Z","timestamp":1620118368000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34407-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642344060","9783642344077"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34407-7_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}