{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:14:04Z","timestamp":1763468044461,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642242755"},{"type":"electronic","value":"9783642242762"}],"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-24276-2_8","type":"book-chapter","created":{"date-parts":[[2011,10,10]],"date-time":"2011-10-10T14:49:23Z","timestamp":1318258163000},"page":"121-136","source":"Crossref","is-referenced-by-count":23,"title":["The Design and Implementation of Feldspar"],"prefix":"10.1007","author":[{"given":"Emil","family":"Axelsson","sequence":"first","affiliation":[]},{"given":"Koen","family":"Claessen","sequence":"additional","affiliation":[]},{"given":"Mary","family":"Sheeran","sequence":"additional","affiliation":[]},{"given":"Josef","family":"Svenningsson","sequence":"additional","affiliation":[]},{"given":"David","family":"Engdal","sequence":"additional","affiliation":[]},{"given":"Anders","family":"Persson","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","volume-title":"Proc. 8th ACM\/IEEE International Conference on Formal Methods and Models for Codesign","author":"E. Axelsson","year":"2010","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. 8th ACM\/IEEE International Conference on Formal Methods and Models for Codesign, IEEE, Los Alamitos (2010)"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Carette, J., Kiselyov, O., Shan, C.: Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages. J. Func. Prog.\u00a019(05) (2009)","DOI":"10.1017\/S0956796809007205"},{"key":"8_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, p. 62. Springer, Heidelberg (1999)"},{"issue":"3","key":"8_CR4","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. J. Func. Prog.\u00a013(3), 455\u2013481 (2003)","journal-title":"J. Func. Prog."},{"key":"8_CR5","unstructured":"Feldspar: http:\/\/feldspar.inf.elte.hu\/feldspar\/"},{"key":"8_CR6","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1145\/1863543.1863582","volume-title":"Proc. 15th ACM SIGPLAN international conference on Functional programming","author":"G. Keller","year":"2010","unstructured":"Keller, G., Chakravarty, M., Leshchinskiy, R., Jones, S.P., Lippmeier, B.: Regular, shape-polymorphic, parallel arrays in Haskell. In: Proc. 15th ACM SIGPLAN international conference on Functional programming, pp. 261\u2013272. ACM, New York (2010)"},{"key":"8_CR7","unstructured":"Martin, G., Zarrinkoub, H.: From MATLAB to Embedded C, The Mathworks (2009), http:\/\/www.mathworks.com\/company\/newsletters\/news_notes\/2009\/matlab-embedded-c.html"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"P\u00fcschel, M., Moura, J.M.F., Johnson, J., Padua, D., Veloso, M., Singer, B., Xiong, J., Franchetti, F., Gacic, A., Voronenko, Y., Chen, K., Johnson, R.W., Rizzolo, N.: SPIRAL: Code generation for DSP transforms. Proc. IEEE\u00a093(2) (2005)","DOI":"10.1109\/JPROC.2004.840306"},{"issue":"06","key":"8_CR9","doi-asserted-by":"publisher","first-page":"1005","DOI":"10.1017\/S0956796802004458","volume":"13","author":"S. Scholz","year":"2003","unstructured":"Scholz, S.: Single Assignment C: efficient support for high-level array operations in a functional setting. J. Func. Prog.\u00a013(06), 1005\u20131059 (2003)","journal-title":"J. Func. Prog."},{"key":"8_CR10","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1145\/1596550.1596599","volume-title":"Proc. 14th ACM SIGPLAN international conference on Functional programming","author":"T. Schrijvers","year":"2009","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, New York (2009)"},{"key":"8_CR11","volume-title":"Proc. Seventh International Workshop on Practical Aspects of High-level Parallel Programming","author":"J. Svensson","year":"2010","unstructured":"Svensson, J., Sheeran, M., Claessen, K.: GPGPU Kernel Implementation and Refinement using Obsidian. In: Proc. Seventh International Workshop on Practical Aspects of High-level Parallel Programming. ICCS, Procedia (2010)"}],"container-title":["Lecture Notes in Computer Science","Implementation and Application of Functional Languages"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24276-2_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,9]],"date-time":"2021-12-09T22:17:34Z","timestamp":1639088254000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24276-2_8"}},"subtitle":["An Embedded Language for Digital Signal Processing"],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642242755","9783642242762"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24276-2_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}