{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T11:02:32Z","timestamp":1742986952901,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031849237"},{"type":"electronic","value":"9783031849244"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-84924-4_10","type":"book-chapter","created":{"date-parts":[[2025,3,17]],"date-time":"2025-03-17T12:01:09Z","timestamp":1742212869000},"page":"146-162","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Haskell Based Spreadsheets"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1128-2907","authenticated-orcid":false,"given":"Ignacio","family":"Ballesteros","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4040-2111","authenticated-orcid":false,"given":"Luis Eduardo","family":"Bueso de Barrio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2665-7612","authenticated-orcid":false,"given":"Julio","family":"Mari\u00f1o","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,3,18]]},"reference":[{"issue":"5","key":"10_CR1","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/2509224","volume":"20","author":"MR Zynda","year":"2013","unstructured":"Zynda, M.R.: The first killer app: a history of spreadsheets. Interactions 20(5), 68\u201372 (2013). https:\/\/doi.org\/10.1145\/2509224","journal-title":"Interactions"},{"key":"10_CR2","unstructured":"Foley, M.J.: About that 1 billion Microsoft Office figure$$\\ldots $$ (2010). https:\/\/www.zdnet.com\/article\/about-that-1-billion-microsoft-office-figure\/"},{"key":"10_CR3","unstructured":"Nadella, S., Nadella, S., Myerson, T.: Build 2016 (2016). https:\/\/news.microsoft.com\/speeches\/satya-nadella-and-terry-myerson-build-2016\/"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Panko, R.R.: What we know about spreadsheet errors. J. End User Comput. 10(2), 15\u201321 (1998). http:\/\/dl.acm.org\/citation.cfm?id=287893.287899","DOI":"10.4018\/joeuc.1998040102"},{"key":"10_CR5","unstructured":"Panko, R.: What we don\u2019t know about spreadsheet errors today: the facts, why we don\u2019t believe them, and what we need to do, CoRR abs\/1602.02601 (2016). arXiv:1602.02601"},{"key":"10_CR6","doi-asserted-by":"publisher","unstructured":"Powell, S.G., Baker, K.R., Lawson, B.: A critical review of the literature on spreadsheet errors. Decis. Support Syst. 46(1), 128\u2013138 (2008). https:\/\/doi.org\/10.1016\/j.dss.2008.06.001. http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0167923608001127","DOI":"10.1016\/j.dss.2008.06.001"},{"key":"10_CR7","unstructured":"EuSpRIG, Original horror stories (2019). http:\/\/www.eusprig.org\/stories.htm"},{"key":"10_CR8","unstructured":"Parker, M.: UK Government loses COVID data because of Excel mistake (2020). https:\/\/youtu.be\/zUp8pkoeMss. Accessed 06 May 2021"},{"issue":"1","key":"10_CR9","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1145\/63238.63244","volume":"32","author":"B Ronen","year":"1989","unstructured":"Ronen, B., Palley, M.A., Lucas, H.C., Jr.: Spreadsheet analysis and design. Commun. ACM 32(1), 84\u201393 (1989). https:\/\/doi.org\/10.1145\/63238.63244","journal-title":"Commun. ACM"},{"key":"10_CR10","doi-asserted-by":"publisher","unstructured":"Barowy, D.W., Berger, E.D., Zorn, B.: Excelint: automatically finding spreadsheet formula errors. Proc. ACM Program. Lang. 2(OOPSLA), 148:1\u2013148:26 (2018). https:\/\/doi.org\/10.1145\/3276518","DOI":"10.1145\/3276518"},{"issue":"10","key":"10_CR11","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1145\/3126905","volume":"60","author":"B Ray","year":"2017","unstructured":"Ray, B., Posnett, D., Devanbu, P., Filkov, V.: A large-scale study of programming languages and code quality in github. Commun. ACM 60(10), 91\u2013100 (2017). https:\/\/doi.org\/10.1145\/3126905","journal-title":"Commun. ACM"},{"key":"10_CR12","unstructured":"Ballesteros, I.: Dise\u00f1o de una librer\u00eda para el apoyo a hojas de c\u00e1 lculo funcionales, Escuela T\u00e9cnica Superior de Ingenieros Inform\u00e1ticos (2019)"},{"key":"10_CR13","unstructured":"Bueso de Barrio, L.E.: Entorno de ejecuci\u00f3n para un sistema de hojas de c\u00e1lculo basado en programaci\u00f3n funcional, Escuela T\u00e9cnica Superior de Ingenieros Inform\u00e1ticos (2019)"},{"key":"10_CR14","doi-asserted-by":"publisher","unstructured":"Jones, S.P., Blackwell, A., Burnett, M.: A user-centred approach to functions in Excel. SIGPLAN Not. 38(9), 165\u2013176 (2003). https:\/\/doi.org\/10.1145\/944746.944721","DOI":"10.1145\/944746.944721"},{"key":"10_CR15","doi-asserted-by":"publisher","unstructured":"Bock, A.A., B\u00f8gholm, T., Sestoft, P., Thomsen, B., Thomsen, L.L.: On the semantics for spreadsheets with sheet-defined functions. J. Comput. Lang. 57, 100960 (2020). https:\/\/doi.org\/10.1016\/j.cola.2020.100960. https:\/\/www.sciencedirect.com\/science\/article\/pii\/S2590118420300204","DOI":"10.1016\/j.cola.2020.100960"},{"key":"10_CR16","unstructured":"Lisper, B., Malmstr\u00f6m, J.: Haxcel: a spreadsheet interface to Haskell. In: 14th International Workshop on the Implementation of Functional Languages, Forthcoming, pp. 206\u2013222 (2002)"},{"issue":"1","key":"10_CR17","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1017\/S0956796806006186","volume":"17","author":"D Wakeling","year":"2007","unstructured":"Wakeling, D.: Spreadsheet functional programming. J. Funct. Program. 17(1), 131\u2013143 (2007). https:\/\/doi.org\/10.1017\/S0956796806006186","journal-title":"J. Funct. Program."},{"key":"10_CR18","doi-asserted-by":"publisher","unstructured":"Fern\u00e1ndez-Soriano, A.M., Mari\u00f1o, J., Herranz, \u00c1.: A tool for the integration of constraint solving in spreadsheets. Electron. Notes Theor. Comput. Sci. 282, 35\u201345 (2012). Proceedings of the XI Spanish Conference on Programming and Languages, PROLE 2011. https:\/\/doi.org\/10.1016\/j.entcs.2011.12.004. https:\/\/www.sciencedirect.com\/science\/article\/pii\/S1571066111001939","DOI":"10.1016\/j.entcs.2011.12.004"},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"Cervesato, I.: The Deductive Spreadsheet, Springer, Cham (2013)","DOI":"10.1007\/978-3-642-37747-1"},{"key":"10_CR20","unstructured":"Spivey, J.: The Z Notation. Prentice-Hall (1987)"},{"key":"10_CR21","doi-asserted-by":"publisher","unstructured":"Sheard, T., Jones, S.P.: Template meta-programming for Haskell. In: Proceedings of the 2002 ACM SIGPLAN Workshop on Haskell, Haskell 2002, pp. 1\u201316. Association for Computing Machinery, New York (2002). https:\/\/doi.org\/10.1145\/581690.581691","DOI":"10.1145\/581690.581691"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-84924-4_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,17]],"date-time":"2025-03-17T12:01:15Z","timestamp":1742212875000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-84924-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031849237","9783031849244"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-84924-4_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"18 March 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"PADL","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Practical Aspects of Declarative Languages","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Denver, CO","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 January 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 January 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"padl2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}