{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:15:49Z","timestamp":1750220149569,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,9,1]],"date-time":"2021-09-01T00:00:00Z","timestamp":1630454400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,9]]},"DOI":"10.1145\/3544885.3544891","type":"proceedings-article","created":{"date-parts":[[2022,11,10]],"date-time":"2022-11-10T17:08:11Z","timestamp":1668100091000},"page":"42-53","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Application of Functional Programming in the Energy Industry: A Local Energy Market Simulator Case Study"],"prefix":"10.1145","author":[{"given":"Amine","family":"Zouhair","sequence":"first","affiliation":[{"name":"Dep MIRE, EDF R&D, France"}]},{"given":"Nadine","family":"Kabbara","sequence":"additional","affiliation":[{"name":"Dep PERICLES, EDF R&D, France"}]},{"given":"Olivier","family":"Boudeville","sequence":"additional","affiliation":[{"name":"Dep PERICLES, EDF R&D, France"}]},{"given":"Florian","family":"Mancel","sequence":"additional","affiliation":[{"name":"Dep MIRE, EDF R&D, France"}]}],"member":"320","published-online":{"date-parts":[[2022,11,10]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2021. CAP-Theorem. https:\/\/en.wikipedia.org\/wiki\/CAP_theorem  2021. CAP-Theorem. https:\/\/en.wikipedia.org\/wiki\/CAP_theorem"},{"key":"e_1_3_2_1_2_1","unstructured":"2021. Dialyzer. https:\/\/erlang.org\/doc\/apps\/dialyzer\/dialyzer_chapter.html  2021. Dialyzer. https:\/\/erlang.org\/doc\/apps\/dialyzer\/dialyzer_chapter.html"},{"key":"e_1_3_2_1_3_1","unstructured":"2021. EDF. https:\/\/www.edf.fr\/en\/the-edf-group\/edf-at-a-glance  2021. EDF. https:\/\/www.edf.fr\/en\/the-edf-group\/edf-at-a-glance"},{"key":"e_1_3_2_1_4_1","unstructured":"2021. Erlang-Abstract-Format. https:\/\/erlang.org\/doc\/apps\/erts\/absform.html  2021. Erlang-Abstract-Format. https:\/\/erlang.org\/doc\/apps\/erts\/absform.html"},{"key":"e_1_3_2_1_5_1","unstructured":"2021. OpenMOLE. https:\/\/openmole.org\/  2021. OpenMOLE. https:\/\/openmole.org\/"},{"key":"e_1_3_2_1_6_1","unstructured":"2021. Rebar3. http:\/\/rebar3.org\/  2021. Rebar3. http:\/\/rebar3.org\/"},{"key":"e_1_3_2_1_7_1","unstructured":"2021. Scibian. https:\/\/scibian.org\/  2021. Scibian. https:\/\/scibian.org\/"},{"volume-title":"https:\/\/en.wikipedia.org\/wiki\/TILEPro64","key":"e_1_3_2_1_8_1","unstructured":"2021. Tilera. https:\/\/en.wikipedia.org\/wiki\/TILEPro64 2021. Tilera. https:\/\/en.wikipedia.org\/wiki\/TILEPro64"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5220\/0005684602980305"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44539-0_8"},{"key":"e_1_3_2_1_11_1","unstructured":"Olivier Boudeville. 2021. Ceylan-Myriad. https:\/\/myriad.esperide.org\/  Olivier Boudeville. 2021. Ceylan-Myriad. https:\/\/myriad.esperide.org\/"},{"key":"e_1_3_2_1_12_1","unstructured":"Olivier Boudeville. 2021. Ceylan-Traces. https:\/\/traces.esperide.org\/  Olivier Boudeville. 2021. Ceylan-Traces. https:\/\/traces.esperide.org\/"},{"key":"e_1_3_2_1_13_1","unstructured":"Olivier Boudeville. 2021. Ceylan-WOOPER. https:\/\/wooper.esperide.org\/  Olivier Boudeville. 2021. Ceylan-WOOPER. https:\/\/wooper.esperide.org\/"},{"key":"e_1_3_2_1_14_1","unstructured":"CEA\/EDF\/INRIA. 2012. Functional Programming for Parallel and Concurrent Applications. http:\/\/www-hpc.cea.fr\/SummerSchools2012.htm  CEA\/EDF\/INRIA. 2012. Functional Programming for Parallel and Concurrent Applications. http:\/\/www-hpc.cea.fr\/SummerSchools2012.htm"},{"key":"e_1_3_2_1_15_1","unstructured":"Ericsson. 2021. Erlang Type Specifications. https:\/\/erlang.org\/doc\/reference_manual\/typespec.html  Ericsson. 2021. Erlang Type Specifications. https:\/\/erlang.org\/doc\/reference_manual\/typespec.html"},{"key":"e_1_3_2_1_16_1","unstructured":"Ericsson. 2021. Erlang\/OTP official website. http:\/\/erlang.org  Ericsson. 2021. Erlang\/OTP official website. http:\/\/erlang.org"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"Pu Huang Alan Scheller-Wolf and Katia\u00a0P. Sycara. 2002. A strategy-proof multiunit double auction mechanism. In AAMAS \u201902.  Pu Huang Alan Scheller-Wolf and Katia\u00a0P. Sycara. 2002. A strategy-proof multiunit double auction mechanism. In AAMAS \u201902.","DOI":"10.1145\/544741.544780"},{"key":"e_1_3_2_1_18_1","volume-title":"Local electricity market designs for peer-to-peer trading: The role of battery flexibility. Applied Energy 229 (Nov","author":"L\u00fcth Alexandra","year":"2018","unstructured":"Alexandra L\u00fcth , Jan\u00a0Martin Zepter , Pedro\u00a0Crespo del Granado , and Ruud Egging . 2018. Local electricity market designs for peer-to-peer trading: The role of battery flexibility. Applied Energy 229 (Nov . 2018 ), 1233\u20131243. https:\/\/doi.org\/10.1016\/j.apenergy.2018.08.004 10.1016\/j.apenergy.2018.08.004 Alexandra L\u00fcth, Jan\u00a0Martin Zepter, Pedro\u00a0Crespo del Granado, and Ruud Egging. 2018. Local electricity market designs for peer-to-peer trading: The role of battery flexibility. Applied Energy 229 (Nov. 2018), 1233\u20131243. https:\/\/doi.org\/10.1016\/j.apenergy.2018.08.004"},{"key":"e_1_3_2_1_19_1","volume-title":"Designing microgrid energy markets. Applied Energy 210 (Jan","author":"Mengelkamp Esther","year":"2018","unstructured":"Esther Mengelkamp , Johannes G\u00e4rttner , Kerstin Rock , Scott Kessler , Lawrence Orsini , and Christof Weinhardt . 2018. Designing microgrid energy markets. Applied Energy 210 (Jan . 2018 ), 870\u2013880. https:\/\/doi.org\/10.1016\/j.apenergy.2017.06.054 10.1016\/j.apenergy.2017.06.054 Esther Mengelkamp, Johannes G\u00e4rttner, Kerstin Rock, Scott Kessler, Lawrence Orsini, and Christof Weinhardt. 2018. Designing microgrid energy markets. Applied Energy 210 (Jan. 2018), 870\u2013880. https:\/\/doi.org\/10.1016\/j.apenergy.2017.06.054"},{"key":"e_1_3_2_1_20_1","first-page":"1","article-title":"A blockchain-based smart grid: towards sustainable local energy markets","volume":"33","author":"Mengelkamp Esther","year":"2017","unstructured":"Esther Mengelkamp , Benedikt Notheisen , Carolin Beer , David Dauer , and Christof Weinhardt . 2017 . A blockchain-based smart grid: towards sustainable local energy markets . Computer Science - Research and Development 33 , 1 - 2 (Aug. 2017), 207\u2013214. https:\/\/doi.org\/10.1007\/s00450-017-0360-9 10.1007\/s00450-017-0360-9 Esther Mengelkamp, Benedikt Notheisen, Carolin Beer, David Dauer, and Christof Weinhardt. 2017. A blockchain-based smart grid: towards sustainable local energy markets. Computer Science - Research and Development 33, 1-2 (Aug. 2017), 207\u2013214. https:\/\/doi.org\/10.1007\/s00450-017-0360-9","journal-title":"Computer Science - Research and Development"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/EEM.2017.7981938"},{"key":"e_1_3_2_1_22_1","unstructured":"RELEASE Project. 2011. A HIGH-LEVEL PARADIGM FOR RELIABLE LARGE-SCALE SERVER SOFTWARE. http:\/\/www.release-project.eu  RELEASE Project. 2011. A HIGH-LEVEL PARADIGM FOR RELIABLE LARGE-SCALE SERVER SOFTWARE. http:\/\/www.release-project.eu"},{"key":"e_1_3_2_1_23_1","unstructured":"EDF R&D. 2021. Public Sim-Diasca project. https:\/\/github.com\/Olivier-Boudeville-EDF\/Sim-Diasca  EDF R&D. 2021. Public Sim-Diasca project. https:\/\/github.com\/Olivier-Boudeville-EDF\/Sim-Diasca"},{"key":"e_1_3_2_1_24_1","unstructured":"EDF R&D. 2021. Public Sim-Diasca wiki. https:\/\/github.com\/Olivier-Boudeville-EDF\/Sim-Diasca\/wiki  EDF R&D. 2021. Public Sim-Diasca wiki. https:\/\/github.com\/Olivier-Boudeville-EDF\/Sim-Diasca\/wiki"},{"key":"e_1_3_2_1_25_1","unstructured":"EDF R&D. 2021. Simulation Software. https:\/\/www.edf.fr\/en\/the-edf-group\/inventing-the-future-of-energy\/r-d-global-expertise\/our-offers\/simulation-softwares  EDF R&D. 2021. Simulation Software. https:\/\/www.edf.fr\/en\/the-edf-group\/inventing-the-future-of-energy\/r-d-global-expertise\/our-offers\/simulation-softwares"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3310232.3310372"},{"key":"e_1_3_2_1_27_1","unstructured":"Maria Vasconcelos Wilhelm Cramer Carlo Schmitt Arvid Amthor Stefan Jessenberger Christian Ziegler Andreas Armstorfer and Florian Heringer. [n.d.]. The pebbles project - enabling blockchain based transactive energy trading of Energy & flexibility within a regional market. https:\/\/www.cired-repository.org\/handle\/20.500.12455\/363  Maria Vasconcelos Wilhelm Cramer Carlo Schmitt Arvid Amthor Stefan Jessenberger Christian Ziegler Andreas Armstorfer and Florian Heringer. [n.d.]. The pebbles project - enabling blockchain based transactive energy trading of Energy & flexibility within a regional market. https:\/\/www.cired-repository.org\/handle\/20.500.12455\/363"}],"event":{"name":"IFL '21: 33rd Symposium on Implementation and Application of Functional Languages","acronym":"IFL '21","location":"Nijmegen Netherlands"},"container-title":["33rd Symposium on Implementation and Application of Functional Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3544885.3544891","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3544885.3544891","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:00:07Z","timestamp":1750186807000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3544885.3544891"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9]]},"references-count":27,"alternative-id":["10.1145\/3544885.3544891","10.1145\/3544885"],"URL":"https:\/\/doi.org\/10.1145\/3544885.3544891","relation":{},"subject":[],"published":{"date-parts":[[2021,9]]},"assertion":[{"value":"2022-11-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}