{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T15:26:14Z","timestamp":1725895574854},"publisher-location":"Berlin, Heidelberg","reference-count":45,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642320361"},{"type":"electronic","value":"9783642320378"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32037-8_7","type":"book-chapter","created":{"date-parts":[[2012,7,20]],"date-time":"2012-07-20T20:27:32Z","timestamp":1342816052000},"page":"98-113","source":"Crossref","is-referenced-by-count":2,"title":["Functional High Performance Financial IT"],"prefix":"10.1007","author":[{"given":"Jost","family":"Berthold","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrzej","family":"Filinski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fritz","family":"Henglein","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ken Friis","family":"Larsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mogens","family":"Steffensen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Brian","family":"Vinter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Aditya, S., Arvind, A.L., Maessen, J.W., Nikhil, R.S.: Semantics of pH: A parallel dialect of Haskell. In: Hudak, P. (ed.) Proceedings of the Haskell Workshop, La Jolla, USA, pp. 35\u201349 (1995)","key":"7_CR1"},{"issue":"6","key":"7_CR2","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1007\/s10009-006-0010-1","volume":"8","author":"J. Andersen","year":"2006","unstructured":"Andersen, J., Elsborg, E., Henglein, F., Simonsen, J.G., Stefansen, C.: Compositional specification of commercial contracts. International Journal on Software Tools for Technology Transfer (STTT)\u00a08(6), 485\u2013516 (2006)","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"key":"7_CR3","volume-title":"Concurrent Programming in Erlang.","author":"J. Armstrong","year":"1996","unstructured":"Armstrong, J., Virding, R., Wikstr\u00f6m, C., Williams, M.: Concurrent Programming in Erlang., 2nd edn. Prentice Hall, Hertfordshire (1996)","edition":"2"},{"unstructured":"Astapov, D.: Parallel Haskell project underway. Blog post (October 2010), http:\/\/www.well-typed.com\/blog\/48","key":"7_CR4"},{"key":"7_CR5","first-page":"49","volume-title":"Trends in Functional Programming (TFP 2009)","author":"M. Aswad","year":"2010","unstructured":"Aswad, M., Trinder, P., Al Zain, A.D., Michaelson, G., Berthold, J.: Low Pain vs. No Pain Multicore Haskells. In: Horv\u00e1th, Z., Zs\u00f3k, V., Achten, P., Koopman, P. (eds.) Trends in Functional Programming (TFP 2009), pp. 49\u201364. Intellect, Exeter (2010)"},{"key":"7_CR6","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1145\/1411204.1411236","volume-title":"ICFP 2008, Proceedings of the 13th ACM SIGPLAN International Conference on Functional Programming","author":"L. Augustsson","year":"2008","unstructured":"Augustsson, L., Mansell, H., Sittampalam, G.: Paradise: A two-stage DSL embedded in Haskell. In: ICFP 2008, Proceedings of the 13th ACM SIGPLAN International Conference on Functional Programming, pp. 225\u2013228. ACM, New York (2008)"},{"issue":"8","key":"7_CR7","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1145\/359576.359579","volume":"21","author":"J. Backus","year":"1978","unstructured":"Backus, J.: Can programming be liberated from the von neumann style. Communications of the ACM\u00a021(8), 613\u2013641 (1978)","journal-title":"Communications of the ACM"},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"990","DOI":"10.1007\/978-3-642-03869-3_91","volume-title":"Euro-Par 2009 Parallel Processing","author":"J. Berthold","year":"2009","unstructured":"Berthold, J., Dieterle, M., Loogen, R.: Implementing Parallel Google Map-Reduce in Eden. In: Sips, H., Epema, D., Lin, H.-X. (eds.) Euro-Par 2009. LNCS, vol.\u00a05704, pp. 990\u20131002. Springer, Heidelberg (2009)"},{"key":"7_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1007\/978-3-540-77442-6_17","volume-title":"Practical Aspects of Declarative Languages","author":"J. Berthold","year":"2008","unstructured":"Berthold, J., Dieterle, M., Loogen, R., Priebe, S.: Hierarchical Master-Worker Skeletons. In: Hudak, P., Warren, D.S. (eds.) PADL 2008. LNCS, vol.\u00a04902, pp. 248\u2013264. Springer, Heidelberg (2008)"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-540-74130-5_5","volume-title":"Implementation and Application of Functional Languages","author":"J. Berthold","year":"2007","unstructured":"Berthold, J., Loogen, R.: Parallel Coordination Made Explicit in a Functional Setting. In: Horv\u00e1th, Z., Zs\u00f3k, V., Butterfield, A. (eds.) IFL 2006. LNCS, vol.\u00a04449, pp. 73\u201390. Springer, Heidelberg (2007)"},{"doi-asserted-by":"crossref","unstructured":"Berthold, J., Marlow, S., Hammond, K., Al Zain, A.: Comparing and Optimising Parallel Haskell Implementations for Multicore Machines. In: Enokido, T., et al. (eds.) 3rd Int. Workshop on Advanced Distributed and Parallel Network Applications (ADPNA 2009). IEEE (2009); (previously presented at IFL 2008)","key":"7_CR11","DOI":"10.1109\/ICPPW.2009.10"},{"issue":"3","key":"7_CR12","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1145\/227234.227246","volume":"39","author":"G. Blelloch","year":"1996","unstructured":"Blelloch, G.: Programming parallel algorithms. CACM\u00a039(3), 85\u201397 (1996)","journal-title":"CACM"},{"key":"7_CR13","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/1926354.1926358","volume-title":"DAMP 2011: Proceedings of the Sixth Workshop on Declarative Aspects of Multicore Programming","author":"M.M. Chakravarty","year":"2011","unstructured":"Chakravarty, M.M., Keller, G., Lee, S., McDonell, T.L., Grover, V.: Accelerating Haskell array codes with multicore GPUs. In: DAMP 2011: Proceedings of the Sixth Workshop on Declarative Aspects of Multicore Programming, pp. 3\u201314. ACM, New York (2011)"},{"key":"7_CR14","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1145\/1248648.1248652","volume-title":"DAMP 2007: Workshop on Declarative Aspects of Multicore Programming","author":"M. Chakravarty","year":"2007","unstructured":"Chakravarty, M., Leshchinskiy, R., Jones, S.P., Keller, G., Marlow, S.: Data parallel Haskell: A status report. In: DAMP 2007: Workshop on Declarative Aspects of Multicore Programming, pp. 10\u201318. ACM, New York (2007)"},{"unstructured":"Cole, M.I.: Algorithmic Skeletons: Structured Management of Parallel Computation. Research Monographs in Parallel and Distributed Computing. MIT Press, Cambridge (1989)","key":"7_CR15"},{"unstructured":"Coutts, D.: Spark visualisation in threadscope. In: Contribution to the Haskell Implementors\u2019 Workshop 2011, Tokyo (September 2011)","key":"7_CR16"},{"unstructured":"D\u00e9vai, G., Tejfel, M., Gera, Z., P\u00e1li, G., Nagy, G., Horv\u00e1th, Z., Axelssony, E., Sheeran, M., Vajda, A., Lyckeg\u00e5rd, B., Persson, A.: Efficient code generation from the high-level domain-specific language Feldspar for DSPs. In: ODES-8, 8th Workshop on Optimizations for DSP and Embedded Systems, Toronto (April 2010)","key":"7_CR17"},{"issue":"1","key":"7_CR18","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1017\/S0956796805005721","volume":"16","author":"M. Erwig","year":"2006","unstructured":"Erwig, M., Kollmansberger, S.: Probabilistic functional programming in Haskell. J. of Functional Programming\u00a016(1), 21\u201334 (2006)","journal-title":"J. of Functional Programming"},{"unstructured":"FCIC: The financial crisis inquiry report. Tech. rep., Financial Crisis Inquiry Report Commission (January 2011), http:\/\/www.fcic.gov\/report","key":"7_CR19"},{"doi-asserted-by":"crossref","unstructured":"Fluet, M., Rainey, M., Reppy, J., Shaw, A., Xiao, Y.: Manticore: A Heterogeneous Parallel Language. In: Glew, N., Blelloch, G.E. (eds.) DAMP 2007: Workshop on Declarative Aspects of Multicore Programming, Nice, France, pp. 37\u201344 (2007)","key":"7_CR20","DOI":"10.1145\/1248648.1248656"},{"key":"7_CR21","volume-title":"Monte Carlo methods in financial engineering. Applications of Mathematics","author":"P. Glasserman","year":"2004","unstructured":"Glasserman, P.: Monte Carlo methods in financial engineering. Applications of Mathematics, vol.\u00a053. Springer, New York (2004)"},{"issue":"1","key":"7_CR22","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1145\/963778.963780","volume":"26","author":"S. Gorlatch","year":"2004","unstructured":"Gorlatch, S.: Send-receive considered harmful: Myths and realities of message passing. ACM TOPLAS\u00a026(1), 47\u201356 (2004)","journal-title":"ACM TOPLAS"},{"volume-title":"Research Directions in Parallel Functional Programming","year":"2000","unstructured":"Hammond, K., Michaelson, G. (eds.): Research Directions in Parallel Functional Programming. Springer, London (2000)","key":"7_CR23"},{"issue":"2","key":"7_CR24","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1093\/comjnl\/32.2.98","volume":"32","author":"J. Hughes","year":"1989","unstructured":"Hughes, J.: Why functional programming matters. The Computer Journal\u00a032(2), 98\u2013107 (1989)","journal-title":"The Computer Journal"},{"key":"7_CR25","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1145\/1863543.1863582","volume-title":"ICFP 2010: Proceedings of the 15th ACM SIGPLAN International Conference on Functional Programming","author":"G. Keller","year":"2010","unstructured":"Keller, G., Chakravarty, M.M., Leshchinskiy, R., Peyton Jones, S., Lippmeier, B.: Regular, shape-polymorphic, parallel arrays in Haskell. In: ICFP 2010: Proceedings of the 15th ACM SIGPLAN International Conference on Functional Programming, pp. 261\u2013272. ACM, New York (2010)"},{"key":"7_CR26","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1145\/1314436.1314442","volume-title":"FMSE 2007: Proceedings of the ACM Workshop on Formal Methods in Security Engineering","author":"J. Lewis","year":"2007","unstructured":"Lewis, J.: Cryptol: specification, implementation and verification of high-grade cryptographic applications. In: FMSE 2007: Proceedings of the ACM Workshop on Formal Methods in Security Engineering, p. 41. ACM, New York (2007)"},{"unstructured":"LexiFi: Contract description language (MLFi). Web page and white paper, http:\/\/www.lexifi.com\/technology\/contract-description-language","key":"7_CR27"},{"issue":"3","key":"7_CR28","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1017\/S0956796805005526","volume":"15","author":"R. Loogen","year":"2005","unstructured":"Loogen, R., Ortega-Mall\u00e9n, Y., Pe\u00f1a-Mar\u00ed, R.: Parallel Functional Programming in Eden. Journal of Functional Programming\u00a015(3), 431\u2013475 (2005)","journal-title":"Journal of Functional Programming"},{"key":"7_CR29","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1145\/1863523.1863533","volume-title":"Haskell 2010: Proceedings of the Third ACM SIGPLAN Symposium on Haskell","author":"G. Mainland","year":"2010","unstructured":"Mainland, G., Morrisett, G.: Nikola: embedding compiled GPU functions in Haskell. In: Haskell 2010: Proceedings of the Third ACM SIGPLAN Symposium on Haskell, pp. 67\u201378. ACM, New York (2010)"},{"doi-asserted-by":"crossref","unstructured":"Marlow, S., Jones, S.P., Singh, S.: Runtime Support for Multicore Haskell. In: ICFP 2009: Proceedings of the 14th ACM SIGPLAN International Conference on Functional Programming, New York, pp. 65\u201378 (2009)","key":"7_CR30","DOI":"10.1145\/1596550.1596563"},{"key":"7_CR31","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1145\/1863523.1863535","volume-title":"Haskell 2010: Proceedings of the Third ACM SIGPLAN Symposium on Haskell","author":"S. Marlow","year":"2010","unstructured":"Marlow, S., Maier, P., Loidl, H.W., Aswad, M.K., Trinder, P.: Seq no more: Better strategies for parallel Haskell. In: Haskell 2010: Proceedings of the Third ACM SIGPLAN Symposium on Haskell, pp. 91\u2013102. ACM, New York (2010)"},{"issue":"4","key":"7_CR32","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1145\/1118890.1118892","volume":"37","author":"M. Mernik","year":"2005","unstructured":"Mernik, M., Heering, J., Sloane, A.M.: When and how to develop domain-specific languages. ACM Computing Surveys\u00a037(4), 316\u2013344 (2005)","journal-title":"ACM Computing Surveys"},{"issue":"4","key":"7_CR33","doi-asserted-by":"publisher","first-page":"609","DOI":"10.1145\/1011508.1011509","volume":"26","author":"R. Mirani","year":"2004","unstructured":"Mirani, R., Hudak, P.: First-class monadic schedules. ACM TOPLAS\u00a026(4), 609\u2013651 (2004)","journal-title":"ACM TOPLAS"},{"doi-asserted-by":"crossref","unstructured":"Munshi, A.: The OpenCL Specification. Khronos OpenCL Working Group (2010), http:\/\/www.khronos.org\/opencl\/","key":"7_CR34","DOI":"10.1109\/HOTCHIPS.2009.7478342"},{"key":"7_CR35","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1145\/351240.351267","volume-title":"ICFP 2000: Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming","author":"S. Peyton Jones","year":"2000","unstructured":"Peyton Jones, S., Eber, J.M., Seward, J.: Composing contracts: an adventure in financial engineering (functional pearl). In: ICFP 2000: Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming, pp. 280\u2013292. ACM, New York (2000); (Later extended to a book chapter)"},{"key":"7_CR36","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1145\/237721.237794","volume-title":"Proceedings of POPL 1996","author":"S. Peyton Jones","year":"1996","unstructured":"Peyton Jones, S., Gordon, A., Finne, S.: Concurrent Haskell. In: Proceedings of POPL 1996, pp. 295\u2013308. ACM, New York (1996)"},{"key":"7_CR37","volume-title":"Functional Programming and Parallel Graph Rewriting","author":"M. Plasmeijer","year":"1993","unstructured":"Plasmeijer, M., van Eekelen, M.: Functional Programming and Parallel Graph Rewriting. Addison-Wesley, Reading (1993)"},{"volume-title":"Patterns and Skeletons for Parallel and Distributed Computing","year":"2003","unstructured":"Rabhi, F.A., Gorlatch, S. (eds.): Patterns and Skeletons for Parallel and Distributed Computing. Springer, London (2003)","key":"7_CR38"},{"doi-asserted-by":"crossref","unstructured":"Reppy, J.H.: Concurrent Programming in ML. Cambridge Univ. Press (1999)","key":"7_CR39","DOI":"10.1017\/CBO9780511574962"},{"unstructured":"Securities and Exchange Commission: Proposed rule: Asset backed securities (2010), http:\/\/www.sec.gov\/rules\/proposed\/2010\/33-9117.pdf","key":"7_CR40"},{"issue":"2","key":"7_CR41","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1145\/280277.280278","volume":"30","author":"D.B. Skillicorn","year":"1998","unstructured":"Skillicorn, D.B., Talia, D.: Models and languages for parallel computation. ACM Computing Surveys\u00a030(2), 123\u2013169 (1998)","journal-title":"ACM Computing Surveys"},{"key":"7_CR42","volume-title":"DSAL 2008: Proceedings of the 2008 AOSD Workshop on Domain-Specific Aspect Languages","author":"J.L. Sobral","year":"2008","unstructured":"Sobral, J.L., Monteiro, M.P.: A domain-specific language for parallel and Grid computing. In: DSAL 2008: Proceedings of the 2008 AOSD Workshop on Domain-Specific Aspect Languages, pp. 2:1\u20132:4. ACM, New York (2008)"},{"issue":"1","key":"7_CR43","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1017\/S0956796897002967","volume":"8","author":"P. Trinder","year":"1998","unstructured":"Trinder, P., Hammond, K., Loidl, H.W., Peyton Jones, S.: Algorithm + Strategy = Parallelism. J. of Functional Programming\u00a08(1), 23\u201360 (1998)","journal-title":"J. of Functional Programming"},{"key":"7_CR44","first-page":"78","volume-title":"PLDI 1996","author":"P. Trinder","year":"1996","unstructured":"Trinder, P., Hammond, K., Mattson Jr., J., Partridge, A., Peyton Jones, S.: GUM: a Portable Parallel Implementation of Haskell. In: PLDI 1996, pp. 78\u201388. ACM, New York (1996)"},{"unstructured":"Diderot project. Website (2010), http:\/\/diderot-language.cs.uchicago.edu\/","key":"7_CR45"}],"container-title":["Lecture Notes in Computer Science","Trends in Functional Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32037-8_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,22]],"date-time":"2022-01-22T09:05:56Z","timestamp":1642842356000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32037-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642320361","9783642320378"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32037-8_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}