{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:08:53Z","timestamp":1750306133937,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":9,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,10,23]],"date-time":"2017-10-23T00:00:00Z","timestamp":1508716800000},"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":[[2017,10,23]]},"DOI":"10.1145\/3141858.3141861","type":"proceedings-article","created":{"date-parts":[[2017,10,12]],"date-time":"2017-10-12T12:51:09Z","timestamp":1507812669000},"page":"15-20","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["FRP IoT modules as a Scala DSL"],"prefix":"10.1145","author":[{"given":"Ben","family":"Calus","sequence":"first","affiliation":[{"name":"KU Leuven, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bob","family":"Reynders","sequence":"additional","affiliation":[{"name":"KU Leuven, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dominique","family":"Devriese","sequence":"additional","affiliation":[{"name":"KU Leuven, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Job","family":"Noorman","sequence":"additional","affiliation":[{"name":"KU Leuven, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Piessens","sequence":"additional","affiliation":[{"name":"KU Leuven, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,10,23]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/258948.258973"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/11502593_12"},{"key":"e_1_3_2_1_3_1","first-page":"148","volume-title":"Ambient intelligence","author":"Levis P.","unstructured":"P. Levis , S. Madden , J. Polastre , R. Szewczyk , K. Whitehouse , A. Woo , D. Gay , J. Hill , M. Welsh , E. Brewer , and others. Tinyos: An operating system for sensor networks . In Ambient intelligence , pages 115\u2013 148 . Springer. P. Levis, S. Madden, J. Polastre, R. Szewczyk, K. Whitehouse, A. Woo, D. Gay, J. Hill, M. Welsh, E. Brewer, and others. Tinyos: An operating system for sensor networks. In Ambient intelligence, pages 115\u2013148. Springer."},{"key":"e_1_3_2_1_4_1","first-page":"346","volume-title":"ICFP","author":"Mainland G.","unstructured":"G. Mainland , G. Morrisett , and M. Welsh . Flask: Staged functional programming for sensor networks . In ICFP , pages 335\u2013 346 . ACM, 2008. G. Mainland, G. Morrisett, and M. Welsh. Flask: Staged functional programming for sensor networks. In ICFP, pages 335\u2013346. ACM, 2008."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1236360.1236422"},{"key":"e_1_3_2_1_6_1","first-page":"498","volume-title":"USENIX","author":"Noorman J.","year":"2013","unstructured":"J. Noorman , P. Agten , W. Daniels , R. Strackx , A. Van Herrewege , C. Huygens , B. Preneel , I. Verbauwhede , and F. Piessens . Sancus: Low-cost trustworthy extensible networked devices with a zero-software trusted computing base . In USENIX , pages 479\u2013 498 , 2013 . J. Noorman, P. Agten, W. Daniels, R. Strackx, A. Van Herrewege, C. Huygens, B. Preneel, I. Verbauwhede, and F. Piessens. Sancus: Low-cost trustworthy extensible networked devices with a zero-software trusted computing base. In USENIX, pages 479\u2013498, 2013."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1868294.1868314"},{"issue":"3","key":"e_1_3_2_1_8_1","first-page":"112","article-title":"programming responsive mobile peer-to-peer applications with actors. Computer Languages, Systems &","volume":"40","author":"Van Cutsem T.","year":"2014","unstructured":"T. Van Cutsem , E. G. Boix , C. Scholliers , A. L. Carreton , D. Harnie , K. Pinte , and W. De Meuter . Ambienttalk : programming responsive mobile peer-to-peer applications with actors. Computer Languages, Systems & Structures , 40 ( 3 ): 112 \u2013 136 , 2014 . T. Van Cutsem, E. G. Boix, C. Scholliers, A. L. Carreton, D. Harnie, K. Pinte, and W. De Meuter. Ambienttalk: programming responsive mobile peer-to-peer applications with actors. Computer Languages, Systems & Structures , 40(3):112\u2013136, 2014.","journal-title":"Structures"},{"key":"e_1_3_2_1_9_1","first-page":"225","volume-title":"ICFP","author":"Winograd-Cort D.","unstructured":"D. Winograd-Cort and P. Hudak . Settable and Non-interfering Signal Functions for FRP: How a First-order Switch is More Than Enough . In ICFP , pages 213\u2013 225 . ACM, 2014. D. Winograd-Cort and P. Hudak. Settable and Non-interfering Signal Functions for FRP: How a First-order Switch is More Than Enough. In ICFP , pages 213\u2013225. ACM, 2014."}],"event":{"name":"SPLASH '17: Conference on Systems, Programming, Languages, and Applications: Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGAda ACM Special Interest Group on Ada Programming Language"],"location":"Vancouver BC Canada","acronym":"SPLASH '17"},"container-title":["Proceedings of the 4th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3141858.3141861","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3141858.3141861","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:37:14Z","timestamp":1750217834000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3141858.3141861"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10,23]]},"references-count":9,"alternative-id":["10.1145\/3141858.3141861","10.1145\/3141858"],"URL":"https:\/\/doi.org\/10.1145\/3141858.3141861","relation":{},"subject":[],"published":{"date-parts":[[2017,10,23]]},"assertion":[{"value":"2017-10-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}