{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:23:15Z","timestamp":1750220595593,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,8,9]],"date-time":"2020-08-09T00:00:00Z","timestamp":1596931200000},"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":[[2020,8,27]]},"DOI":"10.1145\/3406088.3409016","type":"proceedings-article","created":{"date-parts":[[2020,7,31]],"date-time":"2020-07-31T04:08:01Z","timestamp":1596168481000},"page":"109-121","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Scripted signal functions"],"prefix":"10.1145","author":[{"given":"David A.","family":"Stuart","sequence":"first","affiliation":[{"name":"n.n., n.n."}]}],"member":"320","published-online":{"date-parts":[[2020,8,9]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3242744.3242757"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.97297"},{"key":"e_1_3_2_2_3_1","volume-title":"The real-time specification for Java. Computer, 33 ( 6 ): 47-54","author":"Bollella Gregory","year":"2000","unstructured":"Gregory Bollella and James Gosling. The real-time specification for Java. Computer, 33 ( 6 ): 47-54, 2000."},{"key":"e_1_3_2_2_4_1","volume-title":"Yampa: library for programming hybrid systems [source code]. htps:\/\/hackage.haskell. org\/ package\/Yampa-0.9.1.1","author":"Courtney Antony","year":"2003","unstructured":"Antony Courtney and Henrik Nilsson. Yampa: library for programming hybrid systems [source code]. htps:\/\/hackage.haskell. org\/ package\/Yampa-0.9.1.1, 2003. Retrieved March 2020."},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/871895.871897"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2012.6225038"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2004.838180"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/258948.258973"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ESEM.2015.7321196"},{"key":"e_1_3_2_2_10_1","volume-title":"Scripting language survey. Game Programming Gems, 6 ( 2006 ): 323-340","author":"Garc\u00e9s Diego","year":"2006","unstructured":"Diego Garc\u00e9s. Scripting language survey. Game Programming Gems, 6 ( 2006 ): 323-340, 2006."},{"key":"e_1_3_2_2_11_1","first-page":"282","volume-title":"Giorgidze and Henrik Nilsson. Switched-on Yampa. In International Symposium on Practical Aspects of Declarative Languages","author":"George","year":"2008","unstructured":"George Giorgidze and Henrik Nilsson. Switched-on Yampa. In International Symposium on Practical Aspects of Declarative Languages, pages 282-298. Springer, 2008."},{"key":"e_1_3_2_2_12_1","volume-title":"Hybrid dynamical systems","author":"Goebel Rafal","year":"2009","unstructured":"Rafal Goebel, Ricardo G Sanfelice, and Andrew R Teel. Hybrid dynamical systems. IEEE Control Systems Magazine, 29 ( 2 ): 28-93, 2009."},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0765-1_31"},{"key":"e_1_3_2_2_14_1","volume-title":"Generalising monads to arrows. Science of Computer Programming, 37 ( 1 ): 67-111","author":"Hughes John","year":"2000","unstructured":"John Hughes. Generalising monads to arrows. Science of Computer Programming, 37 ( 1 ): 67-111, 2000."},{"key":"e_1_3_2_2_15_1","volume-title":"Course Technology","author":"McShafry Mike","year":"2013","unstructured":"Mike McShafry and David Graham. Game Coding Complete. Course Technology, Boston, 2013."},{"key":"e_1_3_2_2_16_1","volume-title":"A theory of discontinuities in physical system models. Journal of the Franklin Institute, 335 ( 3 ): 401-439","author":"Mosterman Pieter J","year":"1998","unstructured":"Pieter J Mosterman and Gautam Biswas. A theory of discontinuities in physical system models. Journal of the Franklin Institute, 335 ( 3 ): 401-439, 1998."},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/581690.581695"},{"key":"e_1_3_2_2_18_1","volume-title":"Higher level programming for the 21st century. Computer, 31 ( 3 ): 23-30","author":"Ousterhout John K","year":"1998","unstructured":"John K Ousterhout. Scripting : Higher level programming for the 21st century. Computer, 31 ( 3 ): 23-30, 1998."},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/507635.507664"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/571157.571174"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976002.2976010"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/331960.331976"},{"key":"e_1_3_2_2_23_1","first-page":"91","volume-title":"Proceedings of the First International Workshop on Practical Aspects of Declarative Languages, PADL '99","author":"Peterson John","year":"1999","unstructured":"John Peterson, Paul Hudak, and Conal Elliott. Lambda in motion: Controlling robots with Haskell. In Proceedings of the First International Workshop on Practical Aspects of Declarative Languages, PADL '99, page 91-105, Berlin, Heidelberg, 1999. Springer-Verlag."},{"key":"e_1_3_2_2_24_1","article-title":"Who moved my state?","author":"Samek Miro","year":"2003","unstructured":"Miro Samek. Who moved my state? Dr. Dobb's Journal, April 2003.","journal-title":"Dr. Dobb's Journal"}],"event":{"name":"ICFP '20: ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Virtual Event USA","acronym":"ICFP '20"},"container-title":["Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3406088.3409016","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3406088.3409016","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:31:52Z","timestamp":1750195912000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3406088.3409016"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,8,9]]},"references-count":24,"alternative-id":["10.1145\/3406088.3409016","10.1145\/3406088"],"URL":"https:\/\/doi.org\/10.1145\/3406088.3409016","relation":{},"subject":[],"published":{"date-parts":[[2020,8,9]]},"assertion":[{"value":"2020-08-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}