{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:48:35Z","timestamp":1772164115348,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,9,17]],"date-time":"2018-09-17T00:00:00Z","timestamp":1537142400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"NASA","award":["80LARC17C0004."],"award-info":[{"award-number":["80LARC17C0004."]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,9,17]]},"DOI":"10.1145\/3242744.3242757","type":"proceedings-article","created":{"date-parts":[[2018,9,18]],"date-time":"2018-09-18T08:11:39Z","timestamp":1537258299000},"page":"145-157","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["Rhine: FRP with type-level clocks"],"prefix":"10.1145","author":[{"given":"Manuel","family":"B\u00e4renz","sequence":"first","affiliation":[{"name":"University of Vienna, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ivan","family":"Perez","sequence":"additional","affiliation":[{"name":"National Institute of Aerospace, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,9,17]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Heinrich Apfelmus. 2011. Reactive-banana. https:\/\/github.com\/ HeinrichApfelmus\/reactive-banana .  Heinrich Apfelmus. 2011. Reactive-banana. https:\/\/github.com\/ HeinrichApfelmus\/reactive-banana ."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2010.21"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(91)90001-E"},{"key":"e_1_3_2_1_4_1","unstructured":"Stephen Blackheath. 2012. Sodium. https:\/\/github.com\/SodiumFRP\/ sodium .  Stephen Blackheath. 2012. Sodium. https:\/\/github.com\/SodiumFRP\/ sodium ."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461348"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"e_1_3_2_1_8_1","volume-title":"Genuinely Functional User Interfaces. In Haskell Workshop. 41\u201369","author":"Courtney Antony","year":"2001"},{"key":"e_1_3_2_1_9_1","volume-title":"Principles of Declarative Programming","author":"Elliott Conal"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/258948.258973"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596638.1596643"},{"key":"e_1_3_2_1_12_1","unstructured":"Gabriel Gonzalez. 2012. Pipes. https:\/\/github.com\/Gabriel439\/ Haskell-Pipes-Library .  Gabriel Gonzalez. 2012. Pipes. https:\/\/github.com\/Gabriel439\/ Haskell-Pipes-Library ."},{"key":"e_1_3_2_1_13_1","unstructured":"Jason Gregory. 2014. Game Engine Architecture Second Edition (2nd ed.). A. K. Peters Ltd. Natick MA USA.   Jason Gregory. 2014. Game Engine Architecture Second Edition (2nd ed.). A. K. Peters Ltd. Natick MA USA."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"e_1_3_2_1_15_1","unstructured":"Joe Hermaszewski. 2016. vector-sized. https:\/\/github.com\/expipiplus1\/ vector-sized .  Joe Hermaszewski. 2016. vector-sized. https:\/\/github.com\/expipiplus1\/ vector-sized ."},{"key":"e_1_3_2_1_16_1","unstructured":"Justin Le. 2015. Auto. https:\/\/github.com\/mstksg\/auto .  Justin Le. 2015. Auto. https:\/\/github.com\/mstksg\/auto ."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126603000763"},{"key":"e_1_3_2_1_18_1","unstructured":"Ben Lippmeier. 2010. Gloss. https:\/\/github.com\/benl23x5\/gloss .  Ben Lippmeier. 2010. Gloss. https:\/\/github.com\/benl23x5\/gloss ."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/49.53017"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/581690.581695"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/2008270.2008280"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3122955.3122957"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236791"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976002.2976010"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2804302.2804316"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3110246"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2784731.2784752"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/846234.849320"},{"key":"e_1_3_2_1_29_1","unstructured":"Schell Scivally. 2015. varying. https:\/\/github.com\/schell\/varying .  Schell Scivally. 2015. varying. https:\/\/github.com\/schell\/varying ."},{"key":"e_1_3_2_1_30_1","unstructured":"Michael Snoyman. 2011. Conduit. https:\/\/github.com\/snoyberg\/ conduit .  Michael Snoyman. 2011. Conduit. https:\/\/github.com\/snoyberg\/ conduit ."},{"key":"e_1_3_2_1_31_1","unstructured":"Ertugrul S\u00f6ylemez. 2016. Netwire. https:\/\/github.com\/esoeylemez\/ netwire .  Ertugrul S\u00f6ylemez. 2016. Netwire. https:\/\/github.com\/esoeylemez\/ netwire ."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364506.2364519"}],"event":{"name":"ICFP '18: 23nd ACM SIGPLAN International Conference on Functional Programming","location":"St. Louis MO USA","acronym":"ICFP '18","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3242744.3242757","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3242744.3242757","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:57:22Z","timestamp":1750193842000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3242744.3242757"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9,17]]},"references-count":31,"alternative-id":["10.1145\/3242744.3242757","10.1145\/3242744"],"URL":"https:\/\/doi.org\/10.1145\/3242744.3242757","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3299711.3242757","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2018,9,17]]},"assertion":[{"value":"2018-09-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}