{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:01Z","timestamp":1772164021850,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,8,31]],"date-time":"2009-08-31T00:00:00Z","timestamp":1251676800000},"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":[[2009,8,31]]},"DOI":"10.1145\/1596550.1596558","type":"proceedings-article","created":{"date-parts":[[2009,9,1]],"date-time":"2009-09-01T13:53:09Z","timestamp":1251813189000},"page":"23-34","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":29,"title":["Safe functional reactive programming through dependent types"],"prefix":"10.1145","author":[{"given":"Neil","family":"Sculthorpe","sequence":"first","affiliation":[{"name":"University of Nottingham, Nottingham, United Kingdom"}]},{"given":"Henrik","family":"Nilsson","sequence":"additional","affiliation":[{"name":"University of Nottingham, Nottingham, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2009,8,31]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805826"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(92)90005-V"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/232627.232651"},{"key":"e_1_3_2_2_4_1","volume-title":"Functional programming and 3D games. BEng thesis","author":"Cheong Mun Hon","year":"2005","unstructured":"Mun Hon Cheong . Functional programming and 3D games. BEng thesis , University of New South Wales , Sydney, Australia , 2005 . Mun Hon Cheong. Functional programming and 3D games. BEng thesis, University of New South Wales, Sydney, Australia, 2005."},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1017753.1017792"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/11693024_20"},{"key":"e_1_3_2_2_7_1","first-page":"41","volume-title":"Haskell Workshop (Haskell '01)","author":"Courtney Antony","year":"2001","unstructured":"Antony Courtney and Conal Elliott . Genuinely functional user interfaces . In Haskell Workshop (Haskell '01) , pages 41 -- 69 . Elsevier , 2001 . Antony Courtney and Conal Elliott. Genuinely functional user interfaces. In Haskell Workshop (Haskell '01), pages 41--69. Elsevier, 2001."},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/871895.871897"},{"key":"e_1_3_2_2_9_1","unstructured":"Conal Elliott. Simply efficient functional reactivity. http:\/\/conal.net\/papers\/simply-reactive\/ 2008.  Conal Elliott. Simply efficient functional reactivity. http:\/\/conal.net\/papers\/simply-reactive\/ 2008."},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/258948.258973"},{"key":"e_1_3_2_2_11_1","volume-title":"Implementation and Application of Functional Languages (IFL '08)","author":"Giorgidze George","year":"2008","unstructured":"George Giorgidze and Henrik Nilsson . Embedding a functional hybrid modelling language in Haskell . In Implementation and Application of Functional Languages (IFL '08) , 2008 a. To appear. George Giorgidze and Henrik Nilsson. Embedding a functional hybrid modelling language in Haskell. In Implementation and Application of Functional Languages (IFL '08), 2008a. To appear."},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/1785754.1785773"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/530328"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/647767.733784"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/788018.788803"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(99)00023-4"},{"key":"e_1_3_2_2_18_1","volume-title":"The arrow calculus. Technical report","author":"Lindley Sam","year":"2008","unstructured":"Sam Lindley , Philip Wadler , and Jeremy Yallop . The arrow calculus. Technical report , University of Edinburgh , School of Informatics, 2008 . Sam Lindley, Philip Wadler, and Jeremy Yallop. The arrow calculus. Technical report, University of Edinburgh, School of Informatics, 2008."},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411204.1411251"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/581690.581695"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1017472.1017478"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/507635.507664"},{"key":"e_1_3_2_2_24_1","first-page":"91","volume-title":"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 Practical Aspects of Declarative Languages (PADL '99) , pages 91 -- 105 . Springer-Verlag , 1999 . John Peterson, Paul Hudak, and Conal Elliott. Lambda in motion: Controlling robots with Haskell. In Practical Aspects of Declarative Languages (PADL '99), pages 91--105. Springer-Verlag, 1999."},{"key":"e_1_3_2_2_25_1","volume-title":"Types and Programming Languages","author":"Pierce Benjamin C.","year":"2002","unstructured":"Benjamin C. Pierce . Types and Programming Languages . MIT Press , 2002 . Benjamin C. Pierce. Types and Programming Languages. MIT Press, 2002."},{"key":"e_1_3_2_2_26_1","volume-title":"LRI","author":"Pouzet Marc","year":"2006","unstructured":"Marc Pouzet . Lucid Synchrone , version 3.0 : Tutorial and reference manual. Universite Paris-Sud , LRI , 2006 . http:\/\/www.lri.fr\/pouzet\/lucid-synchrone. Marc Pouzet. Lucid Synchrone, version 3.0: Tutorial and reference manual. Universite Paris-Sud, LRI, 2006. http:\/\/www.lri.fr\/pouzet\/lucid-synchrone."},{"key":"e_1_3_2_2_27_1","first-page":"97","volume-title":"Trends in Functional Programming (TFP '08)","author":"Sculthorpe Neil","year":"2008","unstructured":"Neil Sculthorpe and Henrik Nilsson . Optimisation of dynamic, hybrid signal function networks . In Trends in Functional Programming (TFP '08) , pages 97 -- 112 . Intellect , 2008 . Neil Sculthorpe and Henrik Nilsson. Optimisation of dynamic, hybrid signal function networks. In Trends in Functional Programming (TFP '08), pages 97--112. Intellect, 2008."},{"key":"e_1_3_2_2_28_1","volume-title":"Version 7.3. 3 Apple Hill Drive","year":"2009","unstructured":"Simulink. Using Simulink , Version 7.3. 3 Apple Hill Drive , Natick , MA , 2009 . http:\/\/www.mathworks.com. Simulink. Using Simulink, Version 7.3. 3 Apple Hill Drive, Natick, MA, 2009. http:\/\/www.mathworks.com."},{"key":"e_1_3_2_2_29_1","volume-title":"Type Theory and Functional Programming","author":"Thompson Simon","year":"1991","unstructured":"Simon Thompson . Type Theory and Functional Programming . Addison-Wesley , 1991 . Simon Thompson. Type Theory and Functional Programming. Addison-Wesley, 1991."},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349331"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/507635.507654"}],"event":{"name":"ICFP '09: ACM SIGPLAN International Conference on Functional Programming","location":"Edinburgh Scotland","acronym":"ICFP '09","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 14th ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1596550.1596558","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1596550.1596558","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:23:28Z","timestamp":1750235008000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1596550.1596558"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,8,31]]},"references-count":30,"alternative-id":["10.1145\/1596550.1596558","10.1145\/1596550"],"URL":"https:\/\/doi.org\/10.1145\/1596550.1596558","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1631687.1596558","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2009,8,31]]},"assertion":[{"value":"2009-08-31","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}