{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:59:15Z","timestamp":1750309155209,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,6,7]],"date-time":"2022-06-07T00:00:00Z","timestamp":1654560000000},"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":[[2022,6,7]]},"DOI":"10.1145\/3611096.3611098","type":"proceedings-article","created":{"date-parts":[[2023,10,16]],"date-time":"2023-10-16T23:12:42Z","timestamp":1697497962000},"page":"4-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Using Functional Reactive Programming to Define Safe Actor Systems"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2508-6643","authenticated-orcid":false,"given":"Nick","family":"Webster","sequence":"first","affiliation":[{"name":"School of Engineering and Computer Science, Victoria University of Wellington, New Zealand"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1458-2868","authenticated-orcid":false,"given":"Marco","family":"Servetto","sequence":"additional","affiliation":[{"name":"School of Engineering and Computer Science, Victoria University of Wellington, New Zealand"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0280-6748","authenticated-orcid":false,"given":"Michael","family":"Homer","sequence":"additional","affiliation":[{"name":"School of Engineering and Computer Science, Victoria University of Wellington, New Zealand"}]}],"member":"320","published-online":{"date-parts":[[2023,10,16]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Actors: A model of concurrent computation in distributed systems.Technical Report","author":"Agha A","year":"1985","unstructured":"Gul\u00a0 A Agha . 1985 . Actors: A model of concurrent computation in distributed systems.Technical Report . Massachusetts Inst of Tech Cambridge Artificial Intelligence Lab . https:\/\/doi.org\/1721.1\/6952 Gul\u00a0A Agha. 1985. Actors: A model of concurrent computation in distributed systems.Technical Report. Massachusetts Inst of Tech Cambridge Artificial Intelligence Lab. https:\/\/doi.org\/1721.1\/6952"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44898-5_4"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3354166.3354172"},{"key":"e_1_3_2_1_4_1","volume-title":"Elm: Concurrent FRP for functional guis. Senior thesis","author":"Czaplicki Evan","year":"2012","unstructured":"Evan Czaplicki . 2012 . Elm: Concurrent FRP for functional guis. Senior thesis , Harvard University ( 2012). Evan Czaplicki. 2012. Elm: Concurrent FRP for functional guis. Senior thesis, Harvard University (2012)."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462161"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1455770.1455793"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2018.09.001"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/117954.117975"},{"key":"e_1_3_2_1_9_1","unstructured":"Lightbend Inc.[n. d.]. Akka: build concurrent distributed and resilient message-driven applications for Java and Scala. Retrieved 2021-12-30 from https:\/\/akka.io\/  Lightbend Inc.[n. d.]. Akka: build concurrent distributed and resilient message-driven applications for Java and Scala. Retrieved 2021-12-30 from https:\/\/akka.io\/"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/fdl.2019.8876922"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECOOP.2017.20"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/581690.581695"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3241625.2976010"},{"volume-title":"Tackling the awkward squad: monadic input\/output, concurrency, exceptions, and foreign-language calls in Haskell","author":"Peyton\u00a0Jones Simon","key":"e_1_3_2_1_14_1","unstructured":"Simon Peyton\u00a0Jones . 2001. Tackling the awkward squad: monadic input\/output, concurrency, exceptions, and foreign-language calls in Haskell . IOS Press , 47\u201396. https:\/\/www.microsoft.com\/en-us\/research\/publication\/tackling-awkward-squad-monadic-inputoutput-concurrency-exceptions-foreign-language-calls-haskell\/ Simon Peyton\u00a0Jones. 2001. Tackling the awkward squad: monadic input\/output, concurrency, exceptions, and foreign-language calls in Haskell. IOS Press, 47\u201396. https:\/\/www.microsoft.com\/en-us\/research\/publication\/tackling-awkward-squad-monadic-inputoutput-concurrency-exceptions-foreign-language-calls-haskell\/"},{"key":"e_1_3_2_1_15_1","unstructured":"Marco Servetto. [n. d.]. 42 - Metaprogramming as default. Retrieved 2022-04-13 from https:\/\/l42.is\/  Marco Servetto. [n. d.]. 42 - Metaprogramming as default. Retrieved 2022-04-13 from https:\/\/l42.is\/"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3281366.3281370"},{"key":"e_1_3_2_1_17_1","volume-title":"A principled design of capabilities in Pony. Master\u2019s thesis","author":"Steed George","year":"2016","unstructured":"George Steed and Sophia Drossopoulou . 2016. A principled design of capabilities in Pony. Master\u2019s thesis , Imperial College ( 2016 ). George Steed and Sophia Drossopoulou. 2016. A principled design of capabilities in Pony. Master\u2019s thesis, Imperial College (2016)."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3141858.3141863"},{"key":"e_1_3_2_1_19_1","unstructured":"Nick Webster. 2020. Using Functional Reactive Programming to define Actor Systems.  Nick Webster. 2020. Using Functional Reactive Programming to define Actor Systems."}],"event":{"name":"FTfJP '22: 24th ACM International Workshop on Formal Techniques for Java-like Programs","acronym":"FTfJP '22","location":"Berlin Germany"},"container-title":["Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3611096.3611098","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3611096.3611098","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:50:53Z","timestamp":1750287053000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3611096.3611098"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,7]]},"references-count":19,"alternative-id":["10.1145\/3611096.3611098","10.1145\/3611096"],"URL":"https:\/\/doi.org\/10.1145\/3611096.3611098","relation":{},"subject":[],"published":{"date-parts":[[2022,6,7]]},"assertion":[{"value":"2023-10-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}